Lang.Memory
include Codex.Transfer_functions.Memory_Forward
with module Arity := Monadic_Arity
and type memory = memory
and type binary = binary
and type boolean = boolean
type memory = memory
type binary = binary
type boolean = boolean
val load : size:int -> (memory, binary, binary * memory) Monadic_Arity.ar2
val store : size:int -> (memory, binary, binary, memory) Monadic_Arity.ar3
val memcpy : size:int -> (memory, binary, binary, memory) Monadic_Arity.ar3
val malloc :
id:(int * string) ->
malloc_size:int ->
(memory, binary * memory) Monadic_Arity.ar1
val free : (memory, binary, memory) Monadic_Arity.ar2
val unknown : level:int -> memory Monadic_Arity.ar0
val assume : (boolean, memory, memory) Monadic_Arity.ar2
val pp : Stdlib.Format.formatter -> memory -> unit