fact: Definition vars_eqn (e : eqn) := union (vars (fst e)) (vars (snd e)).
imports: Coq(Relations Wellfounded) CoLoR(ASubstitution ATerm EqUtil ListUtil LogicUtil VecUtil AVariables BoolUtil NatUtil SN AVariables Lexico)