Structs§
- PCell
PCell<T>(which stands for “permissioned cell”) is the most primitive VerusCelltype. It can often be used as a replacement for Rust’sUnsafeCell, and it can serve as a basis for verifying many other interior-mutable types (e.g.,InvCell,RefCell).- Points
To - Permission object associated with a
PCell<T>.