1 files changed, 67 insertions, 0 deletions
diff --git a/dataType.mli b/dataType.mli
new file mode 100755
index 0000000..09b0082
--- /dev/null
+++ b/dataType.mli
@@ -0,0 +1,67 @@
+module type COMPARABLE = sig
+  type t
+  val eq: t -> t -> bool
+  val neq: t -> t -> bool
+  val lt: t -> t -> bool
+  val le: t -> t -> bool
+  val gt: t -> t -> bool
+  val ge: t -> t -> bool
+end
+
+module Num: sig
+
+  type t
+
+  val of_num: Num.num -> t
+  val nan: t
+
+  val to_num: t -> Num.num
+
+  val eq: t -> t -> bool
+  val neq: t -> t -> bool
+  val lt: t -> t -> bool
+  val le: t -> t -> bool
+  val gt: t -> t -> bool
+  val ge: t -> t -> bool
+
+  val add: t -> t -> t
+  val sub: t -> t -> t
+  val mult: t -> t -> t
+  val div: t -> t -> t
+  val pow: t -> t -> t
+
+  val rnd: unit -> t
+
+  val max: t -> t -> t
+  val min: t -> t -> t
+
+  val abs: t -> t
+end
+
+module Bool: sig
+  type t = bool
+
+  val true_ : bool
+  val false_: bool 
+
+  val eq: t -> t -> bool
+  val neq: t -> t -> bool
+  val lt: t -> t -> bool
+  val le: t -> t -> bool
+  val gt: t -> t -> bool
+  val ge: t -> t -> bool
+
+  val not: t -> t
+  val and_: t -> t -> t
+  val or_: t -> t -> t
+end
+
+module String: sig
+  type t = UTF8.t
+  val eq: t -> t -> bool
+  val neq: t -> t -> bool
+  val lt: t -> t -> bool
+  val le: t -> t -> bool
+  val gt: t -> t -> bool
+  val ge: t -> t -> bool
+end