package owi

  1. Overview
  2. Docs
type 'ext t
type t' = Env_id.t
type elem = {
  1. mutable value : Concrete_value.ref_value array;
}
type data = {
  1. mutable value : string;
}
type func := Func_intf.t
val get_memory : _ t -> int -> Concrete_memory.t
val get_func : _ t -> int -> func
val get_table : _ t -> int -> Concrete_table.t
val get_elem : _ t -> int -> elem
val get_data : _ t -> int -> data
val get_global : _ t -> int -> Concrete_global.t
val drop_elem : elem -> unit
val drop_data : data -> unit
val get_extern_func : 'ext t -> Func_id.t -> 'ext
val id : _ t -> Env_id.t
module Build : sig ... end
val freeze : t' -> Build.t -> 'ext Func_id.collection -> 'ext t
module type T = sig ... end
module type P = sig ... end
OCaml

Innovation. Community. Security.