Type Alias CanonicalResponse 

pub type CanonicalResponse<I> = Canonical<I, Response<I>>;

Aliased Type

pub struct CanonicalResponse<I> {
    pub value: Response<I>,
    pub max_universe: UniverseIndex,
    pub variables: <I as Interner>::CanonicalVarKinds,
}

Fields

value: Response<I>

max_universe: UniverseIndex

variables: <I as Interner>::CanonicalVarKinds

Layout

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