[−][src]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
)