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 Symbolic_choice.Multicore.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 Symbolic_choice.Multicore.t

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

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

val get_global : t -> int -> Global.t Symbolic_choice.Multicore.t

val drop_elem : 'a -> unit

val drop_data : Link_env.data -> unit