fact: Variables (filter_arity : C -> nat) (filter : forall r, vector nat (filter_arity r)).
imports: Coq(Morphisms Basics Lexicographic_Product) CoLoR(LogicUtil LSimple VecUtil RelUtil VecOrd EqUtil Lexico SN NatUtil)