fact: Fixpoint string_of_cont (c : context) : string := match c with | Hole => List.nil | @Cont _ f _ _ _ _ d _ => f :: string_of_cont d end.
imports: CoLoR(LogicUtil RelUtil SN ListUtil Srs ATrs AUnary VecUtil EqUtil NatUtil ListMax)