sig type formatter val pp_open_box : Format.formatter -> int -> unit val open_box : int -> unit val pp_close_box : Format.formatter -> unit -> unit val close_box : unit -> unit val pp_open_hbox : Format.formatter -> unit -> unit val open_hbox : unit -> unit val pp_open_vbox : Format.formatter -> int -> unit val open_vbox : int -> unit val pp_open_hvbox : Format.formatter -> int -> unit val open_hvbox : int -> unit val pp_open_hovbox : Format.formatter -> int -> unit val open_hovbox : int -> unit val pp_print_string : Format.formatter -> string -> unit val print_string : string -> unit val pp_print_bytes : Format.formatter -> bytes -> unit val print_bytes : bytes -> unit val pp_print_as : Format.formatter -> int -> string -> unit val print_as : int -> string -> unit val pp_print_int : Format.formatter -> int -> unit val print_int : int -> unit val pp_print_float : Format.formatter -> float -> unit val print_float : float -> unit val pp_print_char : Format.formatter -> char -> unit val print_char : char -> unit val pp_print_bool : Format.formatter -> bool -> unit val print_bool : bool -> unit val pp_print_space : Format.formatter -> unit -> unit val print_space : unit -> unit val pp_print_cut : Format.formatter -> unit -> unit val print_cut : unit -> unit val pp_print_break : Format.formatter -> int -> int -> unit val print_break : int -> int -> unit val pp_print_custom_break : Format.formatter -> fits:string * int * string -> breaks:string * int * string -> unit val pp_force_newline : Format.formatter -> unit -> unit val force_newline : unit -> unit val pp_print_if_newline : Format.formatter -> unit -> unit val print_if_newline : unit -> unit val pp_print_flush : Format.formatter -> unit -> unit val print_flush : unit -> unit val pp_print_newline : Format.formatter -> unit -> unit val print_newline : unit -> unit val pp_set_margin : Format.formatter -> int -> unit val set_margin : int -> unit val pp_get_margin : Format.formatter -> unit -> int val get_margin : unit -> int val pp_set_max_indent : Format.formatter -> int -> unit val set_max_indent : int -> unit val pp_get_max_indent : Format.formatter -> unit -> int val get_max_indent : unit -> int type geometry = { max_indent : int; margin : int; } val check_geometry : Format.geometry -> bool val pp_set_geometry : Format.formatter -> max_indent:int -> margin:int -> unit val set_geometry : max_indent:int -> margin:int -> unit val pp_safe_set_geometry : Format.formatter -> max_indent:int -> margin:int -> unit val safe_set_geometry : max_indent:int -> margin:int -> unit val pp_update_geometry : Format.formatter -> (Format.geometry -> Format.geometry) -> unit val update_geometry : (Format.geometry -> Format.geometry) -> unit val pp_get_geometry : Format.formatter -> unit -> Format.geometry val get_geometry : unit -> Format.geometry val pp_set_max_boxes : Format.formatter -> int -> unit val set_max_boxes : int -> unit val pp_get_max_boxes : Format.formatter -> unit -> int val get_max_boxes : unit -> int val pp_over_max_boxes : Format.formatter -> unit -> bool val over_max_boxes : unit -> bool val pp_open_tbox : Format.formatter -> unit -> unit val open_tbox : unit -> unit val pp_close_tbox : Format.formatter -> unit -> unit val close_tbox : unit -> unit val pp_set_tab : Format.formatter -> unit -> unit val set_tab : unit -> unit val pp_print_tab : Format.formatter -> unit -> unit val print_tab : unit -> unit val pp_print_tbreak : Format.formatter -> int -> int -> unit val print_tbreak : int -> int -> unit val pp_set_ellipsis_text : Format.formatter -> string -> unit val set_ellipsis_text : string -> unit val pp_get_ellipsis_text : Format.formatter -> unit -> string val get_ellipsis_text : unit -> string type stag = .. type tag = string type stag += String_tag of Format.tag val pp_open_stag : Format.formatter -> Format.stag -> unit val open_stag : Format.stag -> unit val pp_close_stag : Format.formatter -> unit -> unit val close_stag : unit -> unit val pp_set_tags : Format.formatter -> bool -> unit val set_tags : bool -> unit val pp_set_print_tags : Format.formatter -> bool -> unit val set_print_tags : bool -> unit val pp_set_mark_tags : Format.formatter -> bool -> unit val set_mark_tags : bool -> unit val pp_get_print_tags : Format.formatter -> unit -> bool val get_print_tags : unit -> bool val pp_get_mark_tags : Format.formatter -> unit -> bool val get_mark_tags : unit -> bool val pp_set_formatter_out_channel : Format.formatter -> Stdlib.out_channel -> unit val set_formatter_out_channel : Stdlib.out_channel -> unit val pp_set_formatter_output_functions : Format.formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit val set_formatter_output_functions : (string -> int -> int -> unit) -> (unit -> unit) -> unit val pp_get_formatter_output_functions : Format.formatter -> unit -> (string -> int -> int -> unit) * (unit -> unit) val get_formatter_output_functions : unit -> (string -> int -> int -> unit) * (unit -> unit) type formatter_out_functions = { out_string : string -> int -> int -> unit; out_flush : unit -> unit; out_newline : unit -> unit; out_spaces : int -> unit; out_indent : int -> unit; } val pp_set_formatter_out_functions : Format.formatter -> Format.formatter_out_functions -> unit val set_formatter_out_functions : Format.formatter_out_functions -> unit val pp_get_formatter_out_functions : Format.formatter -> unit -> Format.formatter_out_functions val get_formatter_out_functions : unit -> Format.formatter_out_functions type formatter_stag_functions = { mark_open_stag : Format.stag -> string; mark_close_stag : Format.stag -> string; print_open_stag : Format.stag -> unit; print_close_stag : Format.stag -> unit; } val pp_set_formatter_stag_functions : Format.formatter -> Format.formatter_stag_functions -> unit val set_formatter_stag_functions : Format.formatter_stag_functions -> unit val pp_get_formatter_stag_functions : Format.formatter -> unit -> Format.formatter_stag_functions val get_formatter_stag_functions : unit -> Format.formatter_stag_functions val formatter_of_out_channel : Stdlib.out_channel -> Format.formatter val synchronized_formatter_of_out_channel : Stdlib.out_channel -> Format.formatter Stdlib.Domain.DLS.key val std_formatter : Format.formatter val get_std_formatter : unit -> Format.formatter val err_formatter : Format.formatter val get_err_formatter : unit -> Format.formatter val formatter_of_buffer : Stdlib.Buffer.t -> Format.formatter val stdbuf : Stdlib.Buffer.t val get_stdbuf : unit -> Stdlib.Buffer.t val str_formatter : Format.formatter val get_str_formatter : unit -> Format.formatter val flush_str_formatter : unit -> string val make_formatter : (string -> int -> int -> unit) -> (unit -> unit) -> Format.formatter val make_synchronized_formatter : (string -> int -> int -> unit) -> (unit -> unit) -> Format.formatter Stdlib.Domain.DLS.key val formatter_of_out_functions : Format.formatter_out_functions -> Format.formatter type symbolic_output_item = Output_flush | Output_newline | Output_string of string | Output_spaces of int | Output_indent of int type symbolic_output_buffer val make_symbolic_output_buffer : unit -> Format.symbolic_output_buffer val clear_symbolic_output_buffer : Format.symbolic_output_buffer -> unit val get_symbolic_output_buffer : Format.symbolic_output_buffer -> Format.symbolic_output_item list val flush_symbolic_output_buffer : Format.symbolic_output_buffer -> Format.symbolic_output_item list val add_symbolic_output_item : Format.symbolic_output_buffer -> Format.symbolic_output_item -> unit val formatter_of_symbolic_output_buffer : Format.symbolic_output_buffer -> Format.formatter val pp_print_list : ?pp_sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit val pp_print_seq : ?pp_sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Stdlib.Seq.t -> unit val pp_print_text : Format.formatter -> string -> unit val pp_print_option : ?none:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit val pp_print_result : ok:(Format.formatter -> 'a -> unit) -> error:(Format.formatter -> 'e -> unit) -> Format.formatter -> ('a, 'e) Stdlib.result -> unit val pp_print_either : left:(Format.formatter -> 'a -> unit) -> right:(Format.formatter -> 'b -> unit) -> Format.formatter -> ('a, 'b) Stdlib.Either.t -> unit val fprintf : Format.formatter -> ('a, Format.formatter, unit) Stdlib.format -> 'a val printf : ('a, Format.formatter, unit) Stdlib.format -> 'a val eprintf : ('a, Format.formatter, unit) Stdlib.format -> 'a val sprintf : ('a, unit, string) Stdlib.format -> 'a val asprintf : ('a, Format.formatter, unit, string) Stdlib.format4 -> 'a val dprintf : ('a, Format.formatter, unit, Format.formatter -> unit) Stdlib.format4 -> 'a val ifprintf : Format.formatter -> ('a, Format.formatter, unit) Stdlib.format -> 'a val kfprintf : (Format.formatter -> 'a) -> Format.formatter -> ('b, Format.formatter, unit, 'a) Stdlib.format4 -> 'b val kdprintf : ((Format.formatter -> unit) -> 'a) -> ('b, Format.formatter, unit, 'a) Stdlib.format4 -> 'b val ikfprintf : (Format.formatter -> 'a) -> Format.formatter -> ('b, Format.formatter, unit, 'a) Stdlib.format4 -> 'b val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) Stdlib.format4 -> 'b val kasprintf : (string -> 'a) -> ('b, Format.formatter, unit, 'a) Stdlib.format4 -> 'b end