Domain.Memory_Forward
val load :
size:int ->
(memory, binary, binary * memory)
Domain_sig.Context_Arity_Forward(Context).ar2
val store :
size:int ->
(memory, binary, binary, memory)
Domain_sig.Context_Arity_Forward(Context).ar3
val memcpy :
size:int ->
(memory, binary, binary, memory)
Domain_sig.Context_Arity_Forward(Context).ar3
val malloc :
id:(int * string) ->
malloc_size:int ->
(memory, binary * memory) Domain_sig.Context_Arity_Forward(Context).ar1
val free :
(memory, binary, memory) Domain_sig.Context_Arity_Forward(Context).ar2
val unknown : level:int -> memory Domain_sig.Context_Arity_Forward(Context).ar0