fact: Definition IR : relation term := fun t u => forall xint, R (term_int xint t) (term_int xint u).
imports: CoLoR(ATerm RelUtil ASubstitution NaryFunction AContext VecUtil SN ARelation LogicUtil) Coq(Lia PeanoNat)