package owi

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.