Function gluon_check::unify_type::subsumes

pub fn subsumes(
    subs: &Substitution<RcType>,
    state: State<'_>,
    l: &RcType,
    r: &RcType
) -> Result<RcType, (RcType, Errors<Error<Symbol>>)>

Performs subsumption between l and r (r is-a l)