Module `Convert_Memory_Forward.F`

include module type of struct include D end

type boolean = D.boolean

type address = D.address

type memory = D.memory

type block = D.block

type offset = D.offset

type value = D.value

module Context = D.Context

module Memory_Forward = D.Memory_Forward

include module type of struct include D.Memory_Forward end

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

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

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

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

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

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

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

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

Module Convert_Memory_Forward.F