Type Alias PlaceholderTy

pub type PlaceholderTy = Placeholder<BoundTy>;

Aliased Type

pub struct PlaceholderTy {
    pub universe: UniverseIndex,
    pub bound: BoundTy,
}

Fields

universe: UniverseIndex

bound: BoundTy