diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-07 13:39:48 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-07 13:39:48 +0000 |
commit | f065ad5698780588f2660a73959036f973d28def (patch) | |
tree | 4d7f2af1af3efd3f44fb185464d1f02cd9a773a1 | |
parent | a776e35b9e7e38f3cb21aa934ae8cac57aec1a57 (diff) |
better documentation for format6
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | stdlib/pervasives.mli | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index b76e3233b..afb7e50d1 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -877,11 +877,12 @@ external decr : int ref -> unit = "%decr" ['a] is the type of the parameters of the format, ['b] is the type of the first argument given to [%a] and [%t] printing functions, - ['c] is the type of the argument transmitted to the first argument of - "kprintf"-style functions, - ['d] is the result type for the "scanf"-style functions, - ['e] is the type of the receiver function for the "scanf"-style functions, - ['f] is the result type for the "printf"-style function. + ['c] is the type of the result of the [%a] and [%t] functions, and + also the type of the argument transmitted to the first argument + of [kprintf]-style functions, + ['d] is the result type for the [scanf]-style functions, + ['e] is the type of the receiver function for the [scanf]-style functions, + ['f] is the result type for the [printf]-style function. *) type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6 |