aboutsummaryrefslogtreecommitdiff
path: root/date.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:22:24 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:23:38 +0100
commita6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch)
treeff577395c1a5951a61a7234322f927f6ead5ee29 /date.mli
parentecb6fd62c275af03a07d892313ab3914d81cd40e (diff)
Moved all the code to src directory
Diffstat (limited to 'date.mli')
-rwxr-xr-xdate.mli38
1 files changed, 0 insertions, 38 deletions
diff --git a/date.mli b/date.mli
deleted file mode 100755
index dd24124..0000000
--- a/date.mli
+++ /dev/null
@@ -1,38 +0,0 @@
-module type CALCULABLE = sig
-
- type t
-
- val add: t -> t -> t
-
- val sub: t -> t -> t
-
- val mult: t -> t -> t
-
- val div: t -> t -> t
-
- val floor: t -> t
-
- val of_int: int -> t
-
- val to_int: t -> int
-
- val to_float: t -> float
-
-end
-
-module Make(C:CALCULABLE): sig
-
- (** Create a date from a year month day *)
- val get_julian_day : int -> int -> int -> C.t
-
- (** Return the year, month and day from a date *)
- val date_from_julian_day : C.t -> int * int * int
-
- val time_from_julian_day : C.t -> int * int * C.t
-
- val from_string: string -> C.t
-
- (** Print out the date *)
- val to_string: C.t -> string
-
-end