From 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 7 Nov 2017 15:44:40 +0100 Subject: Use Zarith instead of Num for computing numbers --- date.mli | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 date.mli (limited to 'date.mli') diff --git a/date.mli b/date.mli new file mode 100755 index 0000000..dd24124 --- /dev/null +++ b/date.mli @@ -0,0 +1,38 @@ +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 -- cgit v1.2.3