Type Definition gluon_check::unify_type::Error

type Error<I, T = RcType> = UnifyError<TypeError<I, T>, T>;