From e82962fe44c35b5ae6e6a68e8719e5d77aaf9e55 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 6 Nov 2017 17:39:53 +0100
Subject: Simplify type deduction

---
 scTypes.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'scTypes.mli')

diff --git a/scTypes.mli b/scTypes.mli
index ad0d0ee..d147d92 100755
--- a/scTypes.mli
+++ b/scTypes.mli
@@ -65,6 +65,14 @@ type result =
   | Result : 'a types -> result
   | Error : exn -> result
 
+module DataFormat : sig
+
+  type formats = F : 'a dataFormat -> formats [@@unboxed]
+
+  val guess_format_result: 'a returnType -> (unit -> formats list) -> 'a dataFormat
+
+end
+
 module Type : sig
 
   type t = Value: 'a dataFormat * 'a -> t
-- 
cgit v1.2.3