PlaceholderRegion

hax_frontend_exporter

Type Alias PlaceholderRegion 

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

Reflects [ty::PlaceholderRegion]

Aliased Type§

pub struct PlaceholderRegion {
    pub bound: BoundRegion,
}

Fields§

§bound: BoundRegion