Type Alias gluon_check::kindcheck::Error
source · pub type Error<I, T = RcType<I>> = Error<KindError<I, T>, ArcKind>;
Aliased Type§
enum Error<I, T = RcType<I>> {
TypeMismatch(ArcKind, ArcKind),
Substitution(Error<ArcKind>),
Other(KindError<I, T>),
}