Pointers and cells

See the vstd documentation for more information on handling these features.

  • For cells, see PCell
  • For pointers to fixed-sized heap allocations, see PPtr.
  • For general support for *mut T and *const T, see vstd::raw_ptr