phurst@1973: datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
phurst@1973:          Friday | Saturday
phurst@1973: 
phurst@1974: datatype month = January | February | March | April | May | June | July |
phurst@1974:          August | September | October | November | December
phurst@1974: 
phurst@1974: 
phurst@1974: type datetime = {
phurst@1974:      Year : int,
phurst@1974:      Month : month,
phurst@1974:      Day : int,
phurst@1974:      Hour : int,
phurst@1974:      Minute : int,
phurst@1974:      Second : int
phurst@1974: }
phurst@1974: 
phurst@1974: val show_day_of_week : show day_of_week
phurst@1974: val show_month : show month
phurst@1974: val eq_day_of_week : eq day_of_week
phurst@1974: val eq_month : eq month
phurst@1974: val dayOfWeekToInt : day_of_week -> int
phurst@1974: val intToDayOfWeek : int -> day_of_week
phurst@1974: val monthToInt : month -> int
phurst@1974: val intToMonth : int -> month
phurst@1973: 
phurst@1972: val toTime : datetime -> time
phurst@1972: val fromTime : time -> datetime
phurst@1974: val format : string -> datetime -> string
phurst@1974: val dayOfWeek : datetime -> day_of_week
phurst@1972: val now : transaction datetime