fact: Definition EquivFormat {S T} {cache : Cache} (format1 format2 : FormatM S T) := forall s env, refineEquiv (format1 s env) (format2 s env).
imports: Coq.Lists.List Fiat.Common Fiat.Computation.Core Fiat.Computation.Notations Fiat.Narcissus.Common.Notations Fiat.Narcissus.Common.Monoid Fiat.Narcissus.Stores.Cache