fact: Definition enum R := flat_map (fun ds => map (lab_rule (val_of_vec I ds)) R) (enum_tuple (S (maxvar_rules R))).
imports: CoLoR(ATrs AInterpretation BoolUtil LogicUtil EqUtil VecUtil SN RelUtil AWFMInterpretation NaryFunction NatUtil ARelation ARules SetUtil FunUtil VecMax AMorphism) Coq(List)