Module `Conversions.Convert_Memory_Forward`

Parameters

module C : Conversion

module F : sig ... end

type block = F.block

type memory = F.memory

type address = F.address

type value = F.value

type boolean = F.boolean

val load : 
  size:Units.In_bits.t ->
  (memory, address, value * memory) C.To_Arity.ar2

val store : 
  size:Units.In_bits.t ->
  (memory, address, value, memory) C.To_Arity.ar3

val load_block : (memory, address, block * memory) C.To_Arity.ar2

val store_block : (memory, address, block, memory) C.To_Arity.ar3

val memcpy : 
  size:Units.In_bits.t ->
  (memory, address, address, memory) C.To_Arity.ar3

val malloc : 
  id:(int * string) ->
  malloc_size:Units.In_bytes.t ->
  (memory, address * memory) C.To_Arity.ar1

val free : (memory, address, memory) C.To_Arity.ar2

val unknown : level:int -> memory C.To_Arity.ar0