Module M'.Memory

type memory = L.memory
type binary = L.binary
type boolean = L.boolean
val load : size:int -> (memory, binary, binary * memory) Monadic_Arity.ar2
val store : size:int -> (memory, binary, binary, memory) Monadic_Arity.ar3
val memcpy : size:int -> (memory, binary, binary, memory) Monadic_Arity.ar3
val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) Monadic_Arity.ar1
val unknown : level:int -> memory Monadic_Arity.ar0