hax_
frontend_
exporter
0.1.0-alpha.1
Binder
Aliased type
In hax_
frontend_
exporter::
state
Type Alias
hax_frontend_exporter
::
state
::
Binder
Copy item path
source
·
[
−
]
pub type Binder<'tcx> =
Binder
<'tcx,
()
>;
Aliased Type
§
struct Binder<'tcx> {
/* private fields */
}