summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2002-03-21 16:10:36 +0000
committerDamien Doligez <damien.doligez-inria.fr>2002-03-21 16:10:36 +0000
commitcfdb9013e83c78004de6554a9170dfb3efcbf6ce (patch)
tree9f2802c15b51d9bd7ada32575993dc4af64db7a8 /stdlib
parentf187b04ee05a04edbe0080bf0867fad10fd04b20 (diff)
fix PR#1018
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/printf.mli8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli
index bc77af3e4..f4451e6ff 100644
--- a/stdlib/printf.mli
+++ b/stdlib/printf.mli
@@ -102,10 +102,10 @@ val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a
append the formatted arguments to the given extensible buffer
(see module {!Buffer}). *)
-val kprintf : (string -> 'b) -> ('a, unit, 'b) format -> 'a
-(** Same as {!Print.sprintf}, but instead of returning the string as result,
- after doing the formatting, [kprintf] will pass the result string
- as argument to its first argument ("k" stands for "continuation"). *)
+val kprintf : (string -> string) -> ('a, unit, string) format -> 'a
+(** [kprintf k format arguments] is the same as [sprintf format arguments],
+ except that the resulting string is passed as argument to [k]; the
+ result of [k] is then returned as the result of [kprintf]. *)
(**/**)