aboutsummaryrefslogtreecommitdiff
path: root/UTF8.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-25 14:50:32 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-31 16:02:40 +0100
commit01d7f77f65c3a2b83978b1f00c87b54f00647816 (patch)
tree32a83b8c529b0bc10917520918a49774ed32be9a /UTF8.mli
parent85231845871c841089308c9bc92569d36cb548db (diff)
Update sheet traversal
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