## CanonicalResponse

# Type Alias CanonicalResponse

Source

    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.