fact: Fixpoint term_of_string (s : string) : term := match s with | List.nil => Var 0 | a :: w => Fun1 a (term_of_string w) end.
imports: CoLoR(LogicUtil RelUtil SN ListUtil Srs ATrs AUnary VecUtil EqUtil NatUtil ListMax)