Module invcell
vstd
Module invcell
Module Items
Structs
In vstd::
cell
vstd
::
cell
Module
invcell
Copy item path
Source
Structs
§
InvCell
Verus’s closest analogue of
Cell
.