fact: Definition red (R : rules) : relation term := fun u v => exists l, exists r, exists c, exists s, R (mkRule l r) /\ u = fill c (sub s l) /\ v = fill c (sub s r).
imports: CoLoR(ATrs ListUtil RelUtil ARelation LogicUtil SetUtil)