Skip to main content
UnitBinder
charon_
driver
0.1.315
Unit
Binder
Aliased Type
In charon_
driver::
hax::
types::
vars
charon_driver
::
hax
::
types
::
vars
Type Alias
Unit
Binder
Copy item path
Source
pub type UnitBinder<'tcx> = Binder<'tcx,
()
>;
Aliased Type
ยง
pub struct UnitBinder<'tcx> {
/* private fields */
}