package owi

You can search for identifiers within the package.

in-package search v0.2.0

package owi

owi
- CHANGES
- LICENSE
- README
- 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 `Pp.Input`Source

include module type of struct include Input_Expr end

Sourceval id_opt : Format.formatter -> string option -> unit

Sourceval num_type : Format.formatter -> Types.num_type -> Unit.t

Sourceval ref_type : Format.formatter -> Types.ref_type -> unit

Sourceval val_type : Format.formatter -> Types.val_type -> Unit.t

Sourceval param : Format.formatter -> (string option * Types.val_type) -> Unit.t

Source

val param_type : 
  Format.formatter ->
  (string option * Types.val_type) list ->
  unit

Sourceval result_ : Format.formatter -> Types.val_type -> Unit.t

Sourceval result_type : Format.formatter -> Types.val_type list -> unit

Sourceval f32 : Format.formatter -> Owi.Float32.t -> unit

Sourceval f64 : Format.formatter -> Owi.Float64.t -> unit

Sourceval nn : Format.formatter -> Types.nn -> unit

Sourceval print_nothing : Format.formatter -> unit -> unit

Sourceval name : Format.formatter -> string -> unit

Sourceval indice : Format.formatter -> Symbolic_indice.indice -> unit

Sourceval indice_opt : Format.formatter -> Symbolic_indice.indice option -> unit

Source

val func_type : 
  Format.formatter ->
  ((string option * Types.val_type) list * Types.val_type list) ->
  unit

Sourceval block_type : Format.formatter -> Symbolic_indice.bt -> unit

Sourceval block_type_opt : Format.formatter -> Symbolic_indice.bt option -> unit

Sourceval limits : Format.formatter -> Types.limits -> unit

Sourceval mem_type : Format.formatter -> Types.limits -> unit

Sourceval table_type : Format.formatter -> (Types.limits * Types.ref_type) -> unit

Sourceval mut : Format.formatter -> Types.mut -> unit

Sourceval global_type : Format.formatter -> (Types.mut * Types.val_type) -> Unit.t

Sourceval local : Format.formatter -> (string option * Types.val_type) -> Unit.t

Sourceval locals : Format.formatter -> (string option * Types.val_type) list -> unit

Sourceval iunop : Format.formatter -> Types.iunop -> unit

Sourceval funop : Format.formatter -> Types.funop -> unit

Sourceval sx : Format.formatter -> Types.sx -> unit

Sourceval ibinop : Format.formatter -> Types.ibinop -> Unit.t

Sourceval fbinop : Format.formatter -> Types.fbinop -> Unit.t

Sourceval itestop : Format.formatter -> Types.itestop -> unit

Sourceval irelop : Format.formatter -> Types.irelop -> Unit.t

Sourceval frelop : Format.formatter -> Types.frelop -> unit

Sourceval memarg : Format.formatter -> Types.memarg -> unit

Source

val instr : 
  Format.formatter ->
  (Symbolic_indice.indice, Symbolic_indice.bt) Types.instr' ->
  Unit.t

Source

val expr : 
  Format.formatter ->
  (Symbolic_indice.indice, Symbolic_indice.bt) Types.expr' ->
  Unit.t

Source

val func : 
  Format.formatter ->
  (Symbolic_indice.indice, Symbolic_indice.bt) Types.func' ->
  Unit.t

Source

val funcs : 
  Format.formatter ->
  (Symbolic_indice.indice, Symbolic_indice.bt) Types.func' list ->
  unit

include module type of struct include Global end

Sourceval start : Format.formatter -> Symbolic_indice.indice -> unit

Sourceval symb_indice_opt : Format.formatter -> Symbolic_indice.indice option -> unit

Source

val export_desc : 
  Format.formatter ->
  Symbolic_indice.indice Types.export_desc' ->
  unit

Sourceval export : Format.formatter -> Symbolic_indice.indice Types.export' -> unit

Sourceval global : Format.formatter -> Types.global -> Unit.t

Sourceval mem : Format.formatter -> (string option * Types.limits) -> unit

Source

val table : 
  Format.formatter ->
  (string option * (Types.limits * Types.ref_type)) ->
  unit

Sourceval import_desc : Format.formatter -> Types.import_desc -> Unit.t

Sourceval import : Format.formatter -> Types.import -> Unit.t

Source

val type_ : 
  Format.formatter ->
  (string option
   * ((string option * Types.val_type) list * Types.val_type list)) ->
  unit

Source

val data_mode : 
  Format.formatter ->
  (Symbolic_indice.indice option,
    (Symbolic_indice.indice, Symbolic_indice.bt) Types.expr')
    Types.data_mode ->
  Unit.t

Source

val data : 
  Format.formatter ->
  (Symbolic_indice.indice option,
    (Symbolic_indice.indice, Symbolic_indice.bt) Types.expr')
    Types.data' ->
  Unit.t

Source

val elem_mode : 
  Format.formatter ->
  (Symbolic_indice.indice option,
    (Symbolic_indice.indice, Symbolic_indice.bt) Types.expr')
    Types.elem_mode ->
  Unit.t

Source

val elemexpr : 
  Format.formatter ->
  (Symbolic_indice.indice, Symbolic_indice.bt) Types.expr' ->
  Unit.t

Sourceval elem : Format.formatter -> Types.elem -> Unit.t

Sourceval module_field : Format.formatter -> Types.module_field -> Unit.t

Sourceval module_ : Format.formatter -> Types.module_ -> unit

Sourceval register : Format.formatter -> (string * 'a) -> unit

Sourceval const : Format.formatter -> Types.const -> unit

Sourceval consts : Format.formatter -> Types.const list -> unit

Sourceval result_const : Format.formatter -> Types.result_const -> unit

Sourceval result : Format.formatter -> Types.result -> unit

Sourceval action : Format.formatter -> Types.action -> unit

Sourceval result_bis : Format.formatter -> Types.result -> unit

Sourceval results : Format.formatter -> Types.result list -> unit

Sourceval strings : Format.formatter -> string list -> unit

Sourceval assert_ : Format.formatter -> Types.assert_ -> unit

Sourceval cmd : Format.formatter -> Types.cmd -> unit

Sourceval file : Format.formatter -> Types.cmd list -> unit

Sourceval pos : Format.formatter -> Ppxlib.position -> unit

package owi

Module Pp.InputSource

Module `Pp.Input`Source