Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Memory_example » MemoryI

Module `Memory_example.MemoryI`

type mem

val coq_CM : Wsize.coq_PointerData -> mem Memory_model.coreMem

val coq_M : Wsize.coq_PointerData -> mem Memory_model.memory