owi 0.1 · OCaml Package

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

package owi