owi 0.1 · OCaml Package

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

package owi