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