Module vstd::cell

Re-exports

• pub use pcell_opt_internal;

Macros

• pcell_opt

Structs

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