hax_frontend_exporter

Type Alias PlaceholderConst

source 
pub type PlaceholderConst = Placeholder<BoundVar>;
Expand description

Reflects rustc_middle::ty::PlaceholderConst

Aliased Type§

struct PlaceholderConst {
    pub universe: usize,
    pub bound: usize,
}

Fields§

§universe: usize§bound: usize