diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-25 14:50:32 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-31 16:02:40 +0100 |
commit | 01d7f77f65c3a2b83978b1f00c87b54f00647816 (patch) | |
tree | 32a83b8c529b0bc10917520918a49774ed32be9a /UTF8.ml | |
parent | 85231845871c841089308c9bc92569d36cb548db (diff) |
Update sheet traversal
Diffstat (limited to 'UTF8.ml')
-rwxr-xr-x | UTF8.ml | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -38,3 +38,15 @@ module Printf = struct include Printf
end
+
+module Format = struct
+
+ include Format
+
+ let bprintf buffer fformat = begin
+ let to_b = formatter_of_buffer buffer in
+ let x = fprintf to_b fformat in
+ x
+ end
+
+end
|