comparison lib/ur/basis.urs @ 1973:155bd0bc4d28

Day of week functions.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:54 -0500
parents 1e360ea06a09
children 81bc76aa4acd
comparison
equal deleted inserted replaced
1972:56c68443cb9d 1973:155bd0bc4d28
173 val datetimeMonth : time -> int 173 val datetimeMonth : time -> int
174 val datetimeDay : time -> int 174 val datetimeDay : time -> int
175 val datetimeHour : time -> int 175 val datetimeHour : time -> int
176 val datetimeMinute: time -> int 176 val datetimeMinute: time -> int
177 val datetimeSecond : time -> int 177 val datetimeSecond : time -> int
178 val datetimeDayOfWeek : time -> int
178 179
179 180
180 (** * Encryption *) 181 (** * Encryption *)
181 182
182 val crypt : string -> string -> string 183 val crypt : string -> string -> string