blob: 0d8e8c289ea1943f4467f70e397a151a794b21b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
type datetime = { Year : int,
Month : int,
Day : int,
Hour : int,
Minute : int,
Second : int
}
datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
Friday | Saturday
val show : show day_of_week
val toTime : datetime -> time
val fromTime : time -> datetime
val datetimef : string -> datetime -> string
val now : transaction datetime
|
