proposition: Lemma urgh : (subrelation eq (Basics.flip Basics.impl)).
proof: Proof. repeat red; intros; subst; assumption. Qed.
imports: CertifiedExtraction.FMapUtils Bedrock.Memory Bedrock.Platform.Facade.DFacade Bedrock.Platform.Cito.StringMap Bedrock.Platform.Cito.StringMapFacts