fact: Variables (lhs_cc_rhs : forall l r (h : rule l r), cc gt1 (lhs_fun h) (lhs_args h) XMap.empty r (output (typ (lhs_fun h)) (lhs_nb_args h))).
imports: Coq(Morphisms Basics) CoLoR(LogicUtil LCompSimple VecUtil RelUtil LCall LCompInt SetUtil SN NatUtil LCompRewrite EqUtil)