jasmin.jasmin
Low_memory.Memory
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type mem = Memory_example.MemoryI.mem
val coq_CM : Wsize.coq_PointerData -> mem Memory_model.coreMem
val coq_M : Wsize.coq_PointerData -> mem Memory_model.memory