vstd

Module cell

Source

Re-exports§

pub use super::raw_ptr::MemContents;

Macros§

pcell_optDeprecated
pcell_points

Structs§

CellId
InvCell
PCell
PCell<V> (which stands for “permissioned call”) is the primitive Verus Cell type.
PointsTo
Permission object associated with a PCell<V>.
PointsToData