Type Alias CanonicalState

pub type CanonicalState<I, T> = Canonical<I, State<I, T>>;

Aliased Type

struct CanonicalState<I, T> {
    pub value: State<I, T>,
    pub max_universe: UniverseIndex,
    pub variables: <I as Interner>::CanonicalVars,
}

Fields

value: State<I, T>

max_universe: UniverseIndex

variables: <I as Interner>::CanonicalVars

Layout

Note: Encountered an error during type layout; the type failed to be normalized.