Module `Domain.Memory_Forward`

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

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

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

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

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

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

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

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

Module Domain.Memory_Forward