Module vstd::cell

Re-exports

• pub use super::raw_ptr::MemContents;
• pub use pcell_opt_internal;
• pub use pcell_points_internal;

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