package owi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ITbl : sig ... end
type t = {
  1. mutable data : Symbolic_value.ref_value array;
  2. limits : Types.limits;
  3. typ : Types.simplified Types.ref_type;
}
val clone_t : t -> t
type collection = t ITbl.t Env_id.Tbl.t
val init : unit -> 'a Env_id.Tbl.t
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 : t -> int -> Symbolic_value.ref_value
val set : t -> int -> Symbolic_value.ref_value -> unit
val size : t -> int
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
OCaml

Innovation. Community. Security.