hax_
frontend_
exporter
0.1.0-rc.1
RcMir
Aliased type
In hax_
frontend_
exporter::
state
hax_frontend_exporter
::
state
Type Alias
RcMir
Copy item path
source
pub type RcMir<'tcx> =
Rc
<
Body
<'tcx>>;
Aliased Type
ยง
struct RcMir<'tcx> {
/* private fields */
}