package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = Extern_func.extern_func Link_env.t

type t' = Env_id.t

val get_memory : 'a Link_env.t -> int -> Symbolic_memory.t Choice.t

val get_func : 'a Link_env.t -> int -> Func_intf.t

val get_extern_func : 'a Link_env.t -> Func_id.t -> 'a

val get_table : t -> Symbolic_table.ITbl.key -> Table.t Choice.t

val get_elem : 'a Link_env.t -> int -> Link_env.elem

val get_data : 'a Link_env.t -> int -> Link_env.data Choice.t

val get_global : t -> int -> Global.t Choice.t

val drop_elem : 'a -> unit

val drop_data : Link_env.data -> unit