Function gluon_check::unify_type::subsumes_no_subst
source · pub fn subsumes_no_subst(
state: State<'_>,
l: &RcType,
r: &RcType
) -> Result<RcType, (RcType, Errors<Error<Symbol>>)>
pub fn subsumes_no_subst(
state: State<'_>,
l: &RcType,
r: &RcType
) -> Result<RcType, (RcType, Errors<Error<Symbol>>)>