fact: Definition dummy_ch : Ascii.ascii.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Strings.Ascii Coq.Strings.String Coq.ZArith.ZArith Coq.Arith.PeanoNat Fiat.Common Fiat.Common.Equality Fiat.Common.StringOperations Fiat.Common.StringFacts Fiat.Parsers.StringLike.Core