package owi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.