blob: 5c89c981b09f77e26b251fcaadad4c01419e963c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
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
|
