Module Domain_sig.Convert_Memory_Forward

Parameters

module D : With_Memory_Forward with module Context = C.To

Signature

module C : sig ... end
module F : sig ... end
include sig ... end
type memory = F.memory
type binary = F.binary
type boolean = F.boolean
val load : size:int -> (memory, binary, binary * memory) C.To_Arity.ar2
val store : size:int -> (memory, binary, binary, memory) C.To_Arity.ar3
val memcpy : size:int -> (memory, binary, binary, memory) C.To_Arity.ar3
val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) C.To_Arity.ar1
val unknown : level:int -> memory C.To_Arity.ar0