package owi

  1. Overview
  2. Docs

Module to simplify a text module. It contains the types of simplified modules.

type 'a imp = {
  1. module_ : string;
  2. name : string;
  3. assigned_name : string option;
  4. desc : 'a;
}

the types of imported values

type ('a, 'b) runtime =
  1. | Local of 'a
  2. | Imported of 'b imp

a value that is either local or imported

type 'a indexed = {
  1. index : int;
  2. value : 'a;
}

int indexed values

module StringMap : Stdlib.Map.S with type key = string
module Named : sig ... end

named values (fields)

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

the type of simplified modules

val pp : Stdlib.Format.formatter -> simplified_module -> unit

pretty print a simplified module

val module_ : Types.module_ -> (simplified_module, string) Stdlib.Result.t

simplify a module

OCaml

Innovation. Community. Security.