fact: Definition lab_rule v (a : rule) := let (l,r) := a in mkRule (lab v l) (lab v r).
imports: CoLoR(ATrs AInterpretation BoolUtil LogicUtil EqUtil VecUtil SN RelUtil AWFMInterpretation NaryFunction NatUtil ARelation ARules SetUtil FunUtil VecMax AMorphism) Coq(List)