diff options
Diffstat (limited to 'stdlib/printf.mli')
| -rw-r--r-- | stdlib/printf.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli index 5995a6ba1..b28a8f6df 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -113,10 +113,13 @@ val printf : ('a, out_channel, unit) format -> 'a val eprintf : ('a, out_channel, unit) format -> 'a (** Same as {!Printf.fprintf}, but output on [stderr]. *) +val ifprintf : 'a -> ('b, 'a, unit) format -> 'b +(** Same as {!Printf.fprintf}, but does not print anything. + Useful to ignore some material when conditionally printing. *) + val sprintf : ('a, unit, string) format -> 'a (** Same as {!Printf.fprintf}, but instead of printing on an output channel, - return a string containing the result of formatting - the arguments. *) + return a string containing the result of formatting the arguments. *) val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a (** Same as {!Printf.fprintf}, but instead of printing on an output channel, |