diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 17:39:53 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 17:39:53 +0100 |
commit | e82962fe44c35b5ae6e6a68e8719e5d77aaf9e55 (patch) | |
tree | c87892bc548f1ece1329249af241a601c9f09327 /scTypes.mli | |
parent | 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (diff) |
Simplify type deduction
Diffstat (limited to 'scTypes.mli')
-rwxr-xr-x | scTypes.mli | 8 |
1 files changed, 8 insertions, 0 deletions
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
|