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

type _ telt =

| I32 : Int32.t telt
| I64 : Int64.t telt
| F32 : Float32.t telt
| F64 : Float64.t telt
| Externref : 'a Extern_ref.ty -> 'a telt

type _ rtype =

| R0 : unit rtype
| R1 : 'a telt -> 'a rtype
| R2 : 'a telt * 'b telt -> ('a * 'b) rtype
| R3 : 'a telt * 'b telt * 'c telt -> ('a * 'b * 'c) rtype
| R4 : 'a telt * 'b telt * 'c telt * 'd telt -> ('a * 'b * 'c * 'd) rtype

type (_, _) atype =

| Arg : 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
| NArg : string * 'a telt * ('b, 'r) atype -> ('a -> 'b, 'r) atype
| Res : ('r, 'r) atype

type _ func_type =

| Func : ('f, 'r) atype * 'r rtype -> 'f func_type

type extern_func =

| Extern_func : 'a func_type * 'a -> extern_func

type 'a t =

| WASM of int * (int, Types.func_type) Types.func' * 'a
| Extern of extern_func

val typ : 'a t -> Types.func_type

val wasm : (int, Types.func_type) Types.func' -> 'a -> 'a t