Convert_Memory_Forward.F
include module type of struct include D.Memory_Forward end
val load :
size:int ->
(D.memory, D.binary, D.binary * D.memory)
Context_Arity_Forward(D.Context).ar2
val store :
size:int ->
(D.memory, D.binary, D.binary, D.memory) Context_Arity_Forward(D.Context).ar3
val memcpy :
size:int ->
(D.memory, D.binary, D.binary, D.memory) Context_Arity_Forward(D.Context).ar3
val malloc :
id:(int * string) ->
malloc_size:int ->
(D.memory, D.binary * D.memory) Context_Arity_Forward(D.Context).ar1
val free : (D.memory, D.binary, D.memory) Context_Arity_Forward(D.Context).ar2
val unknown : level:int -> D.memory Context_Arity_Forward(D.Context).ar0