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