69
69
*)
70
70
71
71
72
- (* * {2 Boxes} *)
72
+ (* * {6 Boxes} *)
73
73
74
74
val open_box : int -> unit
75
75
(* * [open_box d] opens a new pretty-printing box
@@ -86,7 +86,7 @@ val open_box : int -> unit
86
86
val close_box : unit -> unit
87
87
(* * Close the most recently opened pretty-printing box. *)
88
88
89
- (* * {2 Formatting functions} *)
89
+ (* * {6 Formatting functions} *)
90
90
91
91
val print_string : string -> unit
92
92
(* * [print_string str] prints [str] in the current box. *)
@@ -109,7 +109,7 @@ val print_bool : bool -> unit
109
109
(* * Print a boolean in the current box. *)
110
110
111
111
112
- (* * {2 Break hints} *)
112
+ (* * {6 Break hints} *)
113
113
114
114
val print_space : unit -> unit
115
115
(* * [print_space ()] is used to separate items (typically to print
@@ -153,7 +153,7 @@ val print_if_newline : unit -> unit
153
153
command. *)
154
154
155
155
156
- (* * {2 Margin} *)
156
+ (* * {6 Margin} *)
157
157
158
158
val set_margin : int -> unit
159
159
(* * [set_margin d] sets the value of the right margin
@@ -166,7 +166,7 @@ val get_margin : unit -> int
166
166
(* * Return the position of the right margin. *)
167
167
168
168
169
- (* * {2 Maximum indentation limit} *)
169
+ (* * {6 Maximum indentation limit} *)
170
170
171
171
val set_max_indent : int -> unit
172
172
(* * [set_max_indent d] sets the value of the maximum
@@ -180,7 +180,7 @@ val get_max_indent : unit -> int
180
180
(* * Return the value of the maximum indentation limit (in characters). *)
181
181
182
182
183
- (* * {2 Formatting depth: maximum number of boxes allowed before ellipsis} *)
183
+ (* * {6 Formatting depth: maximum number of boxes allowed before ellipsis} *)
184
184
185
185
val set_max_boxes : int -> unit
186
186
(* * [set_max_boxes max] sets the maximum number
@@ -197,7 +197,7 @@ val over_max_boxes : unit -> bool
197
197
(* * Test if the maximum number of boxes allowed have already been opened. *)
198
198
199
199
200
- (* * {2 Advanced formatting} *)
200
+ (* * {6 Advanced formatting} *)
201
201
202
202
val open_hbox : unit -> unit
203
203
(* * [open_hbox ()] opens a new pretty-printing box.
@@ -231,7 +231,7 @@ val open_hovbox : int -> unit
231
231
current indentation. *)
232
232
233
233
234
- (* * {2 Tabulations} *)
234
+ (* * {6 Tabulations} *)
235
235
236
236
val open_tbox : unit -> unit
237
237
(* * Open a tabulation box. *)
@@ -258,7 +258,7 @@ val print_tab : unit -> unit
258
258
(* * [print_tab ()] is equivalent to [print_tbreak (0,0)]. *)
259
259
260
260
261
- (* * {2 Ellipsis} *)
261
+ (* * {6 Ellipsis} *)
262
262
263
263
val set_ellipsis_text : string -> unit
264
264
(* * Set the text of the ellipsis printed when too many boxes
@@ -268,13 +268,13 @@ val get_ellipsis_text : unit -> string
268
268
(* * Return the text of the ellipsis. *)
269
269
270
270
271
- (* * {2 Redirecting formatter output} *)
271
+ (* * {6 Redirecting formatter output} *)
272
272
273
273
val set_formatter_out_channel : out_channel -> unit
274
274
(* * Redirect the pretty-printer output to the given channel. *)
275
275
276
276
277
- (* * {2 Changing the meaning of printing material} *)
277
+ (* * {6 Changing the meaning of printing material} *)
278
278
279
279
val set_formatter_output_functions :
280
280
(string -> int -> int -> unit ) -> (unit -> unit ) -> unit
@@ -292,7 +292,7 @@ val get_formatter_output_functions :
292
292
(* * Return the current output functions of the pretty-printer. *)
293
293
294
294
295
- (* * {2 Changing the meaning of pretty printing (indentation, line breaking, and printing material)} *)
295
+ (* * {6 Changing the meaning of pretty printing (indentation, line breaking, and printing material)} *)
296
296
297
297
val set_all_formatter_output_functions :
298
298
out :(string -> int -> int -> unit ) -> flush :(unit -> unit ) ->
@@ -321,7 +321,7 @@ val get_all_formatter_output_functions :
321
321
including line breaking and indentation functions. *)
322
322
323
323
324
- (* * {2 Multiple formatted output} *)
324
+ (* * {6 Multiple formatted output} *)
325
325
326
326
type formatter
327
327
(* * Abstract data type corresponding to a pretty-printer and
@@ -378,7 +378,7 @@ val make_formatter :
378
378
is returned by [make_formatter (output oc) (fun () -> flush oc)]. *)
379
379
380
380
381
- (* * {2 Basic functions to use with formatters} *)
381
+ (* * {6 Basic functions to use with formatters} *)
382
382
383
383
val pp_open_hbox : formatter -> unit -> unit
384
384
val pp_open_vbox : formatter -> int -> unit
@@ -431,7 +431,7 @@ val pp_get_all_formatter_output_functions :
431
431
[print_string] is equal to [pp_print_string std_formatter]. *)
432
432
433
433
434
- (* * {2 [printf] like functions for pretty-printing.} *)
434
+ (* * {6 [printf] like functions for pretty-printing.} *)
435
435
436
436
val fprintf : formatter -> ('a , formatter , unit ) format -> 'a
437
437
(* * [fprintf ff format arg1 ... argN] formats the arguments
0 commit comments