fact: Definition format_unused_word {S} : FormatM S T := Compose_Format format_word (fun _ => {w : word sz | True})%comp.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.ZArith.ZArith Fiat.Common Fiat.Computation.Notations Fiat.Narcissus.Common.Specs Fiat.Narcissus.Common.WordFacts Fiat.Narcissus.BaseFormats