Module type `Sig.MEMORY_BACKWARD`

type block

type memory

type address

type value

type boolean

module Arity : ARITY

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

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

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

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

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

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

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

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

Module type Sig.MEMORY_BACKWARD