Convert_to_monadic.Memory_Forward
type memory = D.memory
type binary = D.binary
type boolean = D.boolean
val load :
size:int ->
(memory, binary, binary * memory) Conversion.To_Arity.ar2
val store :
size:int ->
(memory, binary, binary, memory) Conversion.To_Arity.ar3
val memcpy :
size:int ->
(memory, binary, binary, memory) Conversion.To_Arity.ar3
val malloc :
id:(int * string) ->
malloc_size:int ->
(memory, binary * memory) Conversion.To_Arity.ar1
val free : (memory, binary, memory) Conversion.To_Arity.ar2
val unknown : level:int -> memory Conversion.To_Arity.ar0