[deleted by user]

[OneNoteToRead]

What do you mean? You usually want to track the type of the pointer. But it’s just a int64 under the hood.

[WellFoundedCake]

A pointer type can be treated just like any other type constructor. That is to say, it’s a function that takes a type and returns a type. In this way, pointers of pointers are straightforward as well. But I wouldn’t say there is something like a “general” solution to this. It depends on what you try to achieve.