Type Definition gluon_check::unify_type::Error
[−]
[src]
type Error<I> = UnifyError<ArcType<I>, TypeError<I>>;
type Error<I> = UnifyError<ArcType<I>, TypeError<I>>;