Module type Sig.Memory_Forward

include Memory_Backward
type memory
type binary
type boolean
module Arity : Arity
val load : size:int -> (memory, binary, binary * memory) Arity.ar2
val store : size:int -> (memory, binary, binary, memory) Arity.ar3
val memcpy : size:int -> (memory, binary, binary, memory) Arity.ar3
val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) Arity.ar1
val free : (memory, binary, memory) Arity.ar2
val unknown : level:int -> memory Arity.ar0