Module ptr_own

Raw pointers with ghost code

Structs

PtrOwn

Token that represents the ownership of a memory cell. A PtrOwn value only exists in the ghost world, but can be used in combination with a corresponding RawPtr to access and modify memory.

Type Aliases

RawPtr

Raw pointer whose ownership is tracked by a ghost PtrOwn.