Type Alias PlaceholderConst

pub type PlaceholderConst = Placeholder<BoundConst>;

Aliased Type

pub struct PlaceholderConst {
    pub universe: UniverseIndex,
    pub bound: BoundConst,
}

Fields

universe: UniverseIndex

bound: BoundConst