diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/format.mli | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli index 156422f6f..bab557f8b 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -72,7 +72,6 @@ the evaluation order of printing commands. *) - (** {6 Boxes} *) val open_box : int -> unit;; @@ -112,7 +111,6 @@ val print_char : char -> unit;; val print_bool : bool -> unit;; (** Prints a boolean in the current box. *) - (** {6 Break hints} *) val print_space : unit -> unit;; @@ -156,7 +154,6 @@ val print_if_newline : unit -> unit;; has just been split. Otherwise, ignore the next formatting command. *) - (** {6 Margin} *) val set_margin : int -> unit;; @@ -170,7 +167,6 @@ val set_margin : int -> unit;; val get_margin : unit -> int;; (** Returns the position of the right margin. *) - (** {6 Maximum indentation limit} *) val set_max_indent : int -> unit;; @@ -201,7 +197,6 @@ val get_max_boxes : unit -> int;; val over_max_boxes : unit -> bool;; (** Tests if the maximum number of boxes allowed have already been opened. *) - (** {6 Advanced formatting} *) val open_hbox : unit -> unit;; @@ -235,7 +230,6 @@ val open_hovbox : int -> unit;; When a new line is printed in the box, [d] is added to the current indentation. *) - (** {6 Tabulations} *) val open_tbox : unit -> unit;; @@ -262,7 +256,6 @@ val set_tab : unit -> unit;; val print_tab : unit -> unit;; (** [print_tab ()] is equivalent to [print_tbreak 0 0]. *) - (** {6 Ellipsis} *) val set_ellipsis_text : string -> unit;; @@ -272,7 +265,6 @@ val set_ellipsis_text : string -> unit;; val get_ellipsis_text : unit -> string;; (** Return the text of the ellipsis. *) - (** {6 Tags} *) type tag = string;; @@ -345,7 +337,6 @@ val get_print_tags : unit -> bool;; val get_mark_tags : unit -> bool;; (** Return the current status of tags printing and tags marking. *) - (** {6 Redirecting formatter output} *) val set_formatter_out_channel : Pervasives.out_channel -> unit;; @@ -436,7 +427,6 @@ val get_all_formatter_output_functions : (** Return the current output functions of the pretty-printer, including line breaking and indentation functions. *) - (** {6 Multiple formatted output} *) type out_channel;; @@ -587,7 +577,6 @@ val pp_get_formatter_tag_functions : evaluation of these primitives. For instance, [print_string] is equal to [pp_print_string std_formatter]. *) - (** {6 [printf] like functions for pretty-printing.} *) val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a;; |