package owi

You can search for identifiers within the package.

in-package search v0.2.0

package owi

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Input_Expr end

val id_opt : Stdlib.Format.formatter -> string option -> unit

val num_type : Stdlib.Format.formatter -> Types.num_type -> Stdlib.Unit.t

val ref_type : Stdlib.Format.formatter -> Types.ref_type -> unit

val val_type : Stdlib.Format.formatter -> Types.val_type -> Stdlib.Unit.t

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

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

val result_ : Stdlib.Format.formatter -> Types.val_type -> Stdlib.Unit.t

val result_type : Stdlib.Format.formatter -> Types.val_type list -> unit

val f32 : Stdlib.Format.formatter -> Float32.t -> unit

val f64 : Stdlib.Format.formatter -> Float64.t -> unit

val nn : Stdlib.Format.formatter -> Types.nn -> unit

val print_nothing : Stdlib.Format.formatter -> unit -> unit

val name : Stdlib.Format.formatter -> string -> unit

val indice : Stdlib.Format.formatter -> Symbolic_indice.indice -> unit

val indice_opt : 
  Stdlib.Format.formatter ->
  Symbolic_indice.indice option ->
  unit

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

val block_type : Stdlib.Format.formatter -> Symbolic_indice.bt -> unit

val block_type_opt : 
  Stdlib.Format.formatter ->
  Symbolic_indice.bt option ->
  unit

val limits : Stdlib.Format.formatter -> Types.limits -> unit

val mem_type : Stdlib.Format.formatter -> Types.limits -> unit

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

val mut : Stdlib.Format.formatter -> Types.mut -> unit

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

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

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

val iunop : Stdlib.Format.formatter -> Types.iunop -> unit

val funop : Stdlib.Format.formatter -> Types.funop -> unit

val sx : Stdlib.Format.formatter -> Types.sx -> unit

val ibinop : Stdlib.Format.formatter -> Types.ibinop -> Stdlib.Unit.t

val fbinop : Stdlib.Format.formatter -> Types.fbinop -> Stdlib.Unit.t

val itestop : Stdlib.Format.formatter -> Types.itestop -> unit

val irelop : Stdlib.Format.formatter -> Types.irelop -> Stdlib.Unit.t

val frelop : Stdlib.Format.formatter -> Types.frelop -> unit

val memarg : Stdlib.Format.formatter -> Types.memarg -> unit

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

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

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

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

include module type of struct include Global end

val start : Stdlib.Format.formatter -> Symbolic_indice.indice -> unit

val symb_indice_opt : 
  Stdlib.Format.formatter ->
  Symbolic_indice.indice option ->
  unit

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

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

val global : Stdlib.Format.formatter -> Types.global -> Stdlib.Unit.t

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

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

val import_desc : Stdlib.Format.formatter -> Types.import_desc -> Stdlib.Unit.t

val import : Stdlib.Format.formatter -> Types.import -> Stdlib.Unit.t

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

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

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

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

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

val elem : Stdlib.Format.formatter -> Types.elem -> Stdlib.Unit.t

val module_field : 
  Stdlib.Format.formatter ->
  Types.module_field ->
  Stdlib.Unit.t

val module_ : Stdlib.Format.formatter -> Types.module_ -> unit

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

val const : Stdlib.Format.formatter -> Types.const -> unit

val consts : Stdlib.Format.formatter -> Types.const list -> unit

val result_const : Stdlib.Format.formatter -> Types.result_const -> unit

val result : Stdlib.Format.formatter -> Types.result -> unit

val action : Stdlib.Format.formatter -> Types.action -> unit

val result_bis : Stdlib.Format.formatter -> Types.result -> unit

val results : Stdlib.Format.formatter -> Types.result list -> unit

val strings : Stdlib.Format.formatter -> string list -> unit

val assert_ : Stdlib.Format.formatter -> Types.assert_ -> unit

val cmd : Stdlib.Format.formatter -> Types.cmd -> unit

val file : Stdlib.Format.formatter -> Types.cmd list -> unit

val pos : Stdlib.Format.formatter -> Ppxlib.position -> unit