From 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 7 Nov 2017 15:44:40 +0100
Subject: Use Zarith instead of Num for computing numbers

---
 dataType.mli | 34 +++++++++++++++++++++++++++++++---
 1 file changed, 31 insertions(+), 3 deletions(-)

(limited to 'dataType.mli')

diff --git a/dataType.mli b/dataType.mli
index 901346c..5397fdb 100755
--- a/dataType.mli
+++ b/dataType.mli
@@ -12,10 +12,14 @@ module Num: sig
 
   type t
 
-  val of_num: Num.num -> t
-  val nan: t
+  val one: t
+  val zero: t
 
-  val to_num: t -> Num.num
+  val of_int: int -> t
+  val to_int: t -> int
+
+  val to_float: t -> float
+  val of_float: float -> t
 
   val neg: t -> t
 
@@ -38,6 +42,14 @@ module Num: sig
   val min: t -> t -> t
 
   val abs: t -> t
+
+  val floor: t -> t
+
+  val gcd: t -> t -> t
+  val lcm: t -> t -> t
+
+  val is_integer: t -> bool
+
 end
 
 module Bool: sig
@@ -67,3 +79,19 @@ module String: sig
   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
-- 
cgit v1.2.3