Format (mavryk-protocol-demo-counter.Mavryk_protocol_environment_demo

type formatter = Stdlib.Format.formatter

val pp_open_box : formatter -> int -> unit

val pp_close_box : formatter -> unit -> unit

val pp_open_hbox : formatter -> unit -> unit

val pp_open_vbox : formatter -> int -> unit

val pp_open_hvbox : formatter -> int -> unit

val pp_open_hovbox : formatter -> int -> unit

val pp_print_string : formatter -> string -> unit

val pp_print_as : formatter -> int -> string -> unit

val pp_print_int : formatter -> int -> unit

val pp_print_char : formatter -> char -> unit

val pp_print_bool : formatter -> bool -> unit

val pp_print_space : formatter -> unit -> unit

val pp_print_cut : formatter -> unit -> unit

val pp_print_break : formatter -> int -> int -> unit

val pp_print_custom_break : 
  formatter ->
  fits:(string * int * string) ->
  breaks:(string * int * string) ->
  unit

val pp_force_newline : formatter -> unit -> unit

val pp_print_if_newline : formatter -> unit -> unit

val pp_print_flush : formatter -> unit -> unit

val pp_print_newline : formatter -> unit -> unit

val pp_set_margin : formatter -> int -> unit

val pp_get_margin : formatter -> unit -> int

val pp_set_max_indent : formatter -> int -> unit

val pp_get_max_indent : formatter -> unit -> int

val pp_set_max_boxes : formatter -> int -> unit

val pp_get_max_boxes : formatter -> unit -> int

val pp_over_max_boxes : formatter -> unit -> bool

val pp_open_tbox : formatter -> unit -> unit

val pp_close_tbox : formatter -> unit -> unit

val pp_set_tab : formatter -> unit -> unit

val pp_print_tab : formatter -> unit -> unit

val pp_print_tbreak : formatter -> int -> int -> unit

val pp_set_ellipsis_text : formatter -> string -> unit

val pp_get_ellipsis_text : formatter -> unit -> string

val pp_print_list : 
  ?pp_sep:(formatter -> unit -> unit) ->
  (formatter -> 'a -> unit) ->
  formatter ->
  'a list ->
  unit

val pp_print_text : formatter -> string -> unit

val pp_print_option : 
  ?none:(formatter -> unit -> unit) ->
  (formatter -> 'a -> unit) ->
  formatter ->
  'a option ->
  unit

val pp_print_result : 
  ok:(formatter -> 'a -> unit) ->
  error:(formatter -> 'e -> unit) ->
  formatter ->
  ('a, 'e) Pervasives.result ->
  unit

val fprintf : formatter -> ('a, formatter, unit) Pervasives.format -> 'a

val sprintf : ('a, unit, string) Pervasives.format -> 'a

val asprintf : ('a, formatter, unit, string) Pervasives.format4 -> 'a

val dprintf : ('a, formatter, unit, formatter -> unit) Pervasives.format4 -> 'a

val ifprintf : formatter -> ('a, formatter, unit) Pervasives.format -> 'a

val kfprintf : 
  (formatter -> 'a) ->
  formatter ->
  ('b, formatter, unit, 'a) Pervasives.format4 ->
  'b

val kdprintf : 
  ((formatter -> unit) -> 'a) ->
  ('b, formatter, unit, 'a) Pervasives.format4 ->
  'b

val ikfprintf : 
  (formatter -> 'a) ->
  formatter ->
  ('b, formatter, unit, 'a) Pervasives.format4 ->
  'b

val ksprintf : 
  (string -> 'a) ->
  ('b, unit, string, 'a) Pervasives.format4 ->
  'b

val kasprintf : 
  (string -> 'a) ->
  ('b, formatter, unit, 'a) Pervasives.format4 ->
  'b