Type Alias TyCtor

pub type TyCtor = Binder<Ty>;

Aliased Type

struct TyCtor {
    vars: Interned<[BoundVariableKind]>,
    value: Ty,
}

Fields

vars: Interned<[BoundVariableKind]>

value: Ty

Implementations

impl TyCtor

pub fn to_ty(&self) -> Ty