fact: Definition string_of_list (xs : list ascii) : string := fold_right String EmptyString xs.
imports: Coq(Strings.String) Coq(Strings.Ascii) Coq(Arith.Arith) Coq(Init.Nat) Coq(Arith.EqNat) Coq(Lists.List) LF(Maps Imp)