Module Tezos_wasmer.MemorySource

Sourceexception Out_of_bounds
Sourcemodule Array : module type of Ctypes.CArray

Operations on C arrays.

Sourcetype t = {
  1. raw : Unsigned.uint8 Array.t;
    (*

    C array backing the memory

    *)
  2. min : Unsigned.uint32;
    (*

    Minimum memory size in pages (64 KiB)

    *)
  3. max : Unsigned.uint32 option;
    (*

    Maximum size in pages

    *)
}

WebAssembly memory

Sourceval get : t -> int -> Unsigned.uint8

get mem addr reads a byte at address addr.

Sourceval get_string : t -> address:int -> length:int -> string

get_string mem addr len reads len bytes from address addr in mmemory mem.

Sourceval set : t -> int -> Unsigned.uint8 -> unit

set mem addr value sets a byte at address addr to value.

Sourceval set_string : t -> address:int -> data:string -> unit

set_string mem ~address ~data writes a series of bytes represented by data at address address in the provided memory mem.

Sourceval length : t -> int

length mem gives you the memory size in bytes.

Sourcemodule Internal_for_tests : sig ... end