Parameter `Convert_Memory_Forward.F`

type block

type memory

type address

type value

type boolean

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

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

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

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

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

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

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

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

Parameter Convert_Memory_Forward.F