fact: Fixpoint cont_of_string (s : string) : context := match s with | List.nil => Hole | f :: s' => Cont1 f (cont_of_string s') end.
imports: CoLoR(LogicUtil RelUtil SN ListUtil Srs ATrs AUnary VecUtil EqUtil NatUtil ListMax)