fact: Variables (Acc : F -> nat -> Prop) (Acc_arity : forall g i, Acc g i -> i < arity (typ g)).
imports: Coq(Morphisms Basics) CoLoR(LogicUtil LCompSimple VecUtil RelUtil LCall LCompInt SetUtil SN NatUtil LCompRewrite EqUtil)