vstd
In vstd::
cell
Macros
pcell_opt
pcell_points
Structs
CellId
InvCell
PCell
PointsTo
PointsToData
?
Settings
Macro
vstd
::
cell
::
pcell_opt
Copy item path
source
·
[
−
]
macro_rules!
pcell_opt { [$(
$tail
:tt)
*
] => { ... }; }
👎
Deprecated: use pcell_points! instead