package jasmin
Module Low_memory.Memory
type mem = Memory_example.MemoryI.memval coq_CM : Wsize.coq_PointerData -> mem Memory_model.coreMemval coq_M : Wsize.coq_PointerData -> mem Memory_model.memoryLow_memory.Memorytype mem = Memory_example.MemoryI.memval coq_CM : Wsize.coq_PointerData -> mem Memory_model.coreMemval coq_M : Wsize.coq_PointerData -> mem Memory_model.memory