package owi

You can search for identifiers within the package.

in-package search v0.2.0

owi
- Owi
  - Check
  - Compile
  - Convert
    
    Float32
    
    Float64
    
    Int32
    
    Int64
  - Float32
  - Float64
  - Int32
  - Int64
  - Interpret
  - Lexer
  - Link
    
    Env
    
    Global
    
    Memory
    
    StringMap
    
    StringSet
    
    Table
  - Log
  - Menhir_parser
  - Parse
  - Pp
    
    Arg
    
    Const
    
    Global
    
    Input
    
    Input_Expr
    
    Make_Expr
    
    Arg
    
    Shared
    
    Simplified
    
    Simplified_indice
    
    Symbolic_indice
  - Script
  - Simplify
    
    Named
    
    StringMap
  - Spectest
  - Stack
  - Typecheck
  - Types
    
    Const
  - Value
    
    Extern_ref
    
    Func
  - Wutf8

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type 'a imp = {

module_ : string;
name : string;
assigned_name : string option;
desc : 'a;

}

the types of imported values

type ('a, 'b) runtime =

| Local of 'a
| Imported of 'b imp

a value that is either local or imported

type 'a indexed = {

index : int;
value : 'a;

}

int indexed values

module StringMap : Map.S with type key = string

module Named : sig ... end

named values (fields)

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 simplified_module = {

id : string option;
global : (Types.Const.expr Types.global', Types.global_type) runtime Named.t;
table : (Types.table, Types.table_type) runtime Named.t;
mem : (Types.mem, Types.limits) runtime Named.t;
func : ((int, Types.func_type) Types.func', Types.func_type) runtime Named.t;
elem : (int, Types.Const.expr) Types.elem' Named.t;
data : (int, Types.Const.expr) Types.data' Named.t;
exports : exports;
start : int list;

}

the type of simplified modules

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

pretty print a simplified module

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

simplify a module