fact: Fixpoint string_of_term (t : term) : string := match t with | Var _ => List.nil | Fun f ts => f :: Vmap_first List.nil string_of_term ts end.
imports: CoLoR(LogicUtil RelUtil SN ListUtil Srs ATrs AUnary VecUtil EqUtil NatUtil ListMax)