fact: Definition flat_cont_symb n (f : Sig) i (h : i < arity f) := Cont f (flat_cont_aux h) (fresh n i) Hole (fresh (n+i) (arity f - S i)).
imports: CoLoR(ATrs NatUtil LogicUtil ListUtil SN EqUtil VecUtil RelUtil BoundNat)