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