package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

val empty : t

val add_global : int -> Concrete_global.t -> t -> t

val add_memory : int -> Concrete_memory.t -> t -> t

val add_table : int -> Concrete_table.t -> t -> t

val add_func : int -> func -> t -> t

val add_data : int -> data -> t -> t

val add_elem : int -> elem -> t -> t

val get_const_global : t -> int -> Concrete_value.t Result.t

val get_func : t -> int -> func Result.t