diff 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
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Dec 05 11:36:46 2013 -0500
+++ b/lib/ur/basis.urs	Thu Dec 05 11:36:54 2013 -0500
@@ -175,6 +175,7 @@
 val datetimeHour : time -> int
 val datetimeMinute: time -> int
 val datetimeSecond : time -> int
+val datetimeDayOfWeek : time -> int
 
 
 (** * Encryption *)