Module `Complete_Binary.Memory_Backward`

val load : 
  size:Units.In_bits.t ->
  (memory, bitvector, bitvector * memory) Operator.Backward_Arity.ar2

val store : 
  size:Units.In_bits.t ->
  (memory, bitvector, bitvector, memory) Operator.Backward_Arity.ar3

val load_block : 
  (memory, bitvector, block * memory) Operator.Backward_Arity.ar2

val store_block : 
  (memory, bitvector, block, memory) Operator.Backward_Arity.ar3

val memcpy : 
  size:Units.In_bits.t ->
  (memory, bitvector, bitvector, memory) Operator.Backward_Arity.ar3

val malloc : 
  id:(int * string) ->
  malloc_size:Units.In_bytes.t ->
  (memory, bitvector * memory) Operator.Backward_Arity.ar1

val free : (memory, bitvector, memory) Operator.Backward_Arity.ar2

val unknown : level:int -> memory Operator.Backward_Arity.ar0

Module Complete_Binary.Memory_Backward