Module cell

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