fact: Definition max_ascii := Eval compute in BinPos.Pos.of_nat (S (nat_of_ascii (Ascii true true true true true true true true))).
imports: Coq.Strings.Ascii Coq.MSets.MSetPositive Fiat.Parsers.ContextFreeGrammar.Fix.Definitions Fiat.Common.MSetBoundedLattice Fiat.Common.MSetExtensions Fiat.Common.BoolFacts