package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type export = {

name : string;
id : int;

}

named export

type exports = {

global : export list;
mem : export list;
table : export list;
func : export list;

}

named exports of a module

type global = {

typ : Types.simplified Types.global_type;
init : Types.simplified Types.expr;
id : string option;

}

type data_mode =

| Data_passive
| Data_active of int option * Types.simplified Types.expr

type data = {

id : string option;
init : string;
mode : data_mode;

}

type elem_mode =

| Elem_passive
| Elem_active of int option * Types.simplified Types.expr
| Elem_declarative

type elem = {

id : string option;
typ : Types.simplified Types.ref_type;
init : Types.simplified Types.expr list;
mode : elem_mode;

}

type modul = {

id : string option;
global : (global, Types.simplified Types.global_type) Runtime.t Named.t;
table : (Types.simplified Types.table, Types.simplified Types.table_type) Runtime.t Named.t;
mem : (Types.mem, Types.limits) Runtime.t Named.t;
func : (Types.simplified Types.func, Types.simplified Types.block_type) Runtime.t Named.t;
elem : elem Named.t;
data : data Named.t;
exports : exports;
start : int option;

}

val empty_modul : modul

module Pp : sig ... end