package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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