aboutsummaryrefslogtreecommitdiff
path: root/scTypes.mli
diff options
context:
space:
mode:
Diffstat (limited to 'scTypes.mli')
-rwxr-xr-xscTypes.mli8
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