[−][src]Type Definition gluon_check::unify_type::Result

type Result<T, E = UnifyError<TypeError<Symbol, RcType>, RcType>> = Result<T, E>;