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
    
    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

include module type of struct include Input_Expr end

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

include module type of struct include Global end

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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