forked from verus-lang/verus

verus source docs guide src reference-pointers-cells.md

485 B · 7 lines

Markdown

Travis Hance · Flesh out new raw_ptr interface (#1244) · 2y ago

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