owi 0.1 · OCaml Package

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

package owi