pub fn unify(t1: &Term, t2: &Term, subst: &Substitution) -> Option<Substitution>Expand description
Unify two terms with a substitution
pub fn unify(t1: &Term, t2: &Term, subst: &Substitution) -> Option<Substitution>Unify two terms with a substitution