fact: Definition SameADTs {av} m1 m2 := (forall k v, StringMap.MapsTo k (@ADT av v) m1 <-> StringMap.MapsTo k (@ADT av v) m2).
imports: Coq.Strings.String Computation.Core ADTRefinement Bedrock.Platform.Facade.DFacade Bedrock.Platform.Cito.StringMap