Parameter `Log_Memory_Forward.F`

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

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

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

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

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

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

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

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

Parameter Log_Memory_Forward.F