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