1 files changed, 99 insertions, 0 deletions
diff --git a/src/dataType.mli b/src/dataType.mli
new file mode 100755
index 0000000..5c89c98
--- /dev/null
+++ b/src/dataType.mli
@@ -0,0 +1,99 @@
+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 one: t
+  val zero: t
+
+  val of_int: int -> t
+  val to_int: t -> int
+
+  val to_float: t -> float
+  val of_float: float -> t
+
+  val neg: t -> 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
+
+  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
+
+  val round: t -> t
+  val floor: t -> t
+  val round_down: t -> t
+
+  val gcd: t -> t -> t
+  val lcm: t -> t -> t
+
+  val is_integer: t -> bool
+
+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
+
+module Date: sig
+
+  (** Create a date from a year month day *)
+  val get_julian_day : int -> int -> int -> Num.t
+  
+  (** Return the year, month and day from a date *)
+  val date_from_julian_day : Num.t -> int * int * int
+  
+  val time_from_julian_day : Num.t -> int * int * Num.t
+
+  val from_string: string -> Num.t
+  
+  (** Print out the date *)
+  val to_string: Num.t -> string
+end