hax_frontend_exporter

Type Alias CanonicalUserType

source 
pub type CanonicalUserType = Canonical<UserType>;
Expand description

Reflects ty::CanonicalUserType

Aliased Type§

struct CanonicalUserType {
    pub max_universe: usize,
    pub variables: Vec<CanonicalVarInfo>,
    pub value: UserType,
}

Fields§

§max_universe: usize§variables: Vec<CanonicalVarInfo>§value: UserType