Module pcell 

Structs

PCell

PCell<T> (which stands for “permissioned cell”) is the most primitive Verus Cell type. It can often be used as a replacement for Rust’s UnsafeCell, and it can serve as a basis for verifying many other interior-mutable types (e.g., InvCell, RefCell).

PointsTo

Permission object associated with a PCell<T>.