Skip to main content
BoundVar
charon_
driver
0.1.184
In charon_
driver::
hax
charon_driver
::
hax
Type Alias
Bound
Var
Copy item path
Source
pub type BoundVar =
usize
;