Module `Sub.Memory_Forward`

val load : 
  size:Units.In_bits.t ->
  (memory, binary, binary * memory) Sig.Context_Arity_Forward(Context).ar2

val store : 
  size:Units.In_bits.t ->
  (memory, binary, binary, memory) Sig.Context_Arity_Forward(Context).ar3

val load_block : 
  (memory, binary, block * memory) Sig.Context_Arity_Forward(Context).ar2

val store_block : 
  (memory, binary, block, memory) Sig.Context_Arity_Forward(Context).ar3

val memcpy : 
  size:Units.In_bits.t ->
  (memory, binary, binary, memory) Sig.Context_Arity_Forward(Context).ar3

val malloc : 
  id:(int * string) ->
  malloc_size:Units.In_bytes.t ->
  (memory, binary * memory) Sig.Context_Arity_Forward(Context).ar1

val free : (memory, binary, memory) Sig.Context_Arity_Forward(Context).ar2

val unknown : level:int -> memory Sig.Context_Arity_Forward(Context).ar0

Module Sub.Memory_Forward