package owi

You can search for identifiers within the package.

in-package search v0.2.0

OCaml toolchain to work with WebAssembly, including an interpreter

Install

dune-project

Dependency

sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791

sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d

module ITbl : sig ... end

type t = {

}

val clone_t : t -> t

type collection = t ITbl.t Env_id.Tbl.t

val init : unit -> 'a Env_id.Tbl.t

val clone : collection -> t ITbl.t Env_id.Tbl.t

val convert_ref_values : Concrete_value.ref_value -> Symbolic_value.ref_value

val convert : Concrete_table.t -> t

val get_env : Env_id.Tbl.key -> 'a ITbl.t Env_id.Tbl.t -> 'a ITbl.t

val get_table : 
  Env_id.Tbl.key ->
  Concrete_table.t ->
  collection ->
  ITbl.key ->
  t

val get : t -> int -> Symbolic_value.ref_value

val set : t -> int -> Symbolic_value.ref_value -> unit

val size : t -> int

val typ : t -> Types.simplified Types.ref_type

val max_size : t -> int option

val grow : t -> Int32.t -> Symbolic_value.ref_value -> unit

val fill : t -> Int32.t -> Int32.t -> Symbolic_value.ref_value -> unit

val copy : 
  t_src:t ->
  t_dst:t ->
  src:Int32.t ->
  dst:Int32.t ->
  len:Int32.t ->
  unit