hax_frontend_exporter

Type Alias PlaceholderRegion

source 
pub type PlaceholderRegion = Placeholder<BoundRegion>;
Expand description

Reflects ty::PlaceholderRegion

Aliased Type§

struct PlaceholderRegion {
    pub universe: usize,
    pub bound: BoundRegion,
}

Fields§

§universe: usize§bound: BoundRegion