summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2017-08-21 12:57:46 +0200
committeroctachron <octa@polychoron.fr>2017-08-21 14:01:47 +0200
commit8bd0336c424631a4ea502d82b395e0e5a76323bd (patch)
tree3091593d11d420b5f42ba9183861a30e37d1d6eb
parente1345a163dd51e39158e822e84e62fbb04ae1942 (diff)
downloadocaml-8bd0336c424631a4ea502d82b395e0e5a76323bd.tar.gz
GPR#1291: wording and grammar fixes
-rw-r--r--stdlib/format.mli6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli
index cb77cc2917..c102b3616f 100644
--- a/stdlib/format.mli
+++ b/stdlib/format.mli
@@ -23,14 +23,14 @@
Similarly, {{!tags}semantic tags} can be used to decouple text
presentation from its contents.
- This printer-printing facility is implemented as an overlay on top of
+ This pretty-printing facility is implemented as an overlay on top of
abstract {{!section:formatter}formatters} which provide basic output
functions.
- There are three predefined formatters:
+ Some formatters are predefined, notably:
- {!std_formatter} outputs to {{!Pervasives.stdout}stdout}
- {!err_formatter} outputs to {{!Pervasives.stderr}stderr}
- All functions in the {!Format} module comes in two variants:
+ Most functions in the {!Format} module come in two variants:
a short version that operates on {!std_formatter} and the
generic version prefixed by [pp_] that takes a formatter
as its first argument.