Type Definition gluon_check::kindcheck::Error
[−]
[src]
type Error<I> = UnifyError<ArcKind, KindError<I>>;
type Error<I> = UnifyError<ArcKind, KindError<I>>;