fact: Fixpoint string_of_list (ls : list Ascii.ascii) : string := match ls with | nil => "" | ch :: ls' => String ch (string_of_list ls') end.
imports: Coq.Strings.String Coq.Lists.List Fiat.Common.Coq__8_4__8_5__Compat