package owi

You can search for identifiers within the package.

in-package search v0.2.0

owi
- Library owi
  - Owi
    
    Check
    
    Compile
    
    Convert
    
    Float32
    
    Float64
    
    Int32
    
    Int64
    
    Interpret
    
    Lexer
    
    Link
    
    Memory
    
    Table
    
    Global
    
    Env
    
    StringMap
    
    StringSet
    
    Log
    
    Menhir_parser
    
    Parse
    
    Pp
    
    Arg
    
    Shared
    
    Symbolic_indice
    
    Simplified_indice
    
    Const
    
    Make_Expr
    
    Input_Expr
    
    Global
    
    Input
    
    Simplified
    
    Script
    
    Simplify
    
    StringMap
    
    Named
    
    Spectest
    
    Stack
    
    Typecheck
    
    Types
    
    Const
    
    Value
    
    Extern_ref
    
    Func
    
    Wutf8
- Sources
  - owi
    
    check.ml
    
    compile.ml
    
    int32.ml
    
    int64.ml
    
    interpret.ml
    
    link.ml
    
    log.ml
    
    owi.ml
    
    parse.ml
    
    pp.ml
    
    script.ml
    
    simplify.ml
    
    typecheck.ml
    
    types.ml
    
    value.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Owi.Typecheck`Source

Module to typecheck a simplified module.

Sourceval module_ : Simplify.simplified_module -> (unit, string) Result.t

typecheck a given module