diff options
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
|