fact: Definition format_ascii (c : ascii) (ce : CacheFormat) : Comp (B * CacheFormat) := format_word (NToWord 8 (N_of_ascii c)) ce.
imports: Fiat.Common.Coq__8_4__8_5__Compat Fiat.Narcissus.Common.Specs Fiat.Narcissus.BaseFormats Fiat.Narcissus.Formats.WordOpt Bedrock.Word Coq.ZArith.ZArith Coq.Strings.Ascii Coq.Numbers.BinNums Coq.NArith.BinNat