Module `Pp.Make_Expr`Source

Parameters

module Arg : Arg

include module type of struct include Shared 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

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 -> Arg.indice -> unit

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

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

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

Sourceval block_type_opt : Format.formatter -> Arg.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

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

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

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

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