pub type CanonicalResponse<I> = Canonical<I, Response<I>>;
Aliased Type§
struct CanonicalResponse<I> {
pub value: Response<I>,
pub max_universe: UniverseIndex,
pub variables: <I as Interner>::CanonicalVars,
}
Fields§
§value: Response<I>
§max_universe: UniverseIndex
§variables: <I as Interner>::CanonicalVars
Layout§
Note: Encountered an error during type layout; the type failed to be normalized.