Function modus_lib::unification::compose_no_extend
source · [−]pub fn compose_no_extend(
l: &Substitution<IRTerm>,
r: &Substitution<IRTerm>
) -> Substitution<IRTerm>
pub fn compose_no_extend(
l: &Substitution<IRTerm>,
r: &Substitution<IRTerm>
) -> Substitution<IRTerm>