package owi

  1. Overview
  2. Docs
type export = {
  1. name : string;
  2. id : int;
}

named export

type exports = {
  1. global : export list;
  2. mem : export list;
  3. table : export list;
  4. func : export list;
}

named exports of a module

type global = {
  1. typ : Types.simplified Types.global_type;
  2. init : Types.simplified Types.expr;
  3. id : string option;
}
type data_mode =
  1. | Data_passive
  2. | Data_active of int option * Types.simplified Types.expr
type data = {
  1. id : string option;
  2. init : string;
  3. mode : data_mode;
}
type elem_mode =
  1. | Elem_passive
  2. | Elem_active of int option * Types.simplified Types.expr
  3. | Elem_declarative
type elem = {
  1. id : string option;
  2. typ : Types.simplified Types.ref_type;
  3. init : Types.simplified Types.expr list;
  4. mode : elem_mode;
}
val empty_modul : modul
module Pp : sig ... end
OCaml

Innovation. Community. Security.