fact: Definition Fix_Decode {monoid : Monoid T} (decode_body : DecodeM S T -> DecodeM S T) : DecodeM S T := fun t env => FueledFix' decode_body (Datatypes.S (bin_measure t)) t env.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.ZArith.ZArith Coq.Strings.String Coq.Vectors.Vector Fiat.Computation Fiat.Narcissus.Common.Specs Fiat.Narcissus.Formats.Base.FMapFormat Fiat.Computation.FixComp