aboutsummaryrefslogtreecommitdiff
path: root/UTF8.mli
diff options
context:
space:
mode:
Diffstat (limited to 'UTF8.mli')
-rwxr-xr-xUTF8.mli10
1 files changed, 8 insertions, 2 deletions
diff --git a/UTF8.mli b/UTF8.mli
index 9e957ac..f91b1fd 100755
--- a/UTF8.mli
+++ b/UTF8.mli
@@ -60,7 +60,13 @@ end
module Printf : sig
val bprintf : Buffer.buffer -> ('a, Buffer.buffer, unit) format -> 'a
-
- val sprintf : ('a, unit, string) format -> 'a
+
+end
+
+module Format: sig
+
+ val formatter_of_buffer : Buffer.buffer -> Format.formatter
+
+ val fprintf : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
end