Type Alias Canonical

pub type Canonical<'db, T> = Canonical<DbInterner<'db>, T>;

Aliased Type

pub struct Canonical<'db, T> {
    pub value: T,
    pub max_universe: UniverseIndex,
    pub variables: CanonicalVars<'db>,
}

Fields

value: T

max_universe: UniverseIndex

variables: CanonicalVars<'db>