Module creusot_contracts::ptr_own

source ·
Expand description

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.