package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type opt_ind =

| Curr of int
| Indice of Types.text Types.indice

type opt_export = {

name : string;
id : opt_ind;

}

type opt_exports = {

global : opt_export list;
mem : opt_export list;
table : opt_export list;
func : opt_export list;

}

type type_check = Types.text Types.indice * Types.text Types.func_type

type t = {

id : string option;
typ : Types.text Types.type_def list;
function_type : Types.text Types.func_type list;
type_checks : type_check list;
global : (Text.global, Types.simplified Types.global_type) Runtime.t Indexed.t list;
table : (Types.simplified Types.table, Types.simplified Types.table_type) Runtime.t Indexed.t list;
mem : (Types.mem, Types.limits) Runtime.t Indexed.t list;
func : (Types.text Types.func, Types.text Types.block_type) Runtime.t Indexed.t list;
elem : Text.elem Indexed.t list;
data : Text.data Indexed.t list;
exports : opt_exports;
start : Types.text Types.indice option;

}

val of_symbolic : Text.modul -> t Result.t