pub type CanonicalInput<I, T = <I as Interner>::Predicate> = CanonicalQueryInput<I, QueryInput<I, T>>;
Aliased Type§
struct CanonicalInput<I, T = <I as Interner>::Predicate> {
pub canonical: Canonical<I, QueryInput<I, T>>,
pub typing_mode: TypingMode<I>,
}
Fields§
§canonical: Canonical<I, QueryInput<I, T>>
§typing_mode: TypingMode<I>
Layout§
Note: Encountered an error during type layout; the type failed to be normalized.