summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2017-08-12 22:28:20 +0200
committeroctachron <octa@polychoron.fr>2017-08-13 11:31:52 +0200
commit4adf2e583445cc9ae4d5dd32097be19b629eaddb (patch)
tree4fc85af10900b74767ec02d2c82dae6a58e884ca
parent7bcf92993f1013a4c7d4e2803c80b22bba73c834 (diff)
downloadocaml-4adf2e583445cc9ae4d5dd32097be19b629eaddb.tar.gz
doc, format: fix symbolic attachment issue
-rw-r--r--stdlib/format.mli18
1 files changed, 7 insertions, 11 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli
index 7e00890454..fc76364c98 100644
--- a/stdlib/format.mli
+++ b/stdlib/format.mli
@@ -788,20 +788,16 @@ val formatter_of_out_functions :
*)
type symbolic_output_item =
- | Output_flush
- | Output_newline
+ | Output_flush (** symbolic flush command *)
+ | Output_newline (** symbolic newline command *)
| Output_string of string
+ (** [Output_string s]: symbolic output for string [s]*)
| Output_spaces of int
+ (** [Output_spaces n]: symbolic command to output [n] spaces *)
| Output_indent of int
-(**
- The output items that symbolic pretty-printers will produce:
- - [Output_flush]: symbolic flush command.
- - [Output_newline]: symbolic newline command.
- - [Output_string s]: symbolic output for string [s].
- - [Output_spaces n]: symbolic command to output [n] spaces.
- - [Output_indent i]: symbolic indentation of size [i].
-
- @since 4.06.0
+ (** [Output_indent i]: symbolic indentation of size [i] *)
+(** Items produced by symbolic pretty-printers
+ @since 4.06.0
*)
type symbolic_output_buffer