summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Patrick Hurst <phurst@mit.edu>2013-12-08 03:25:31 -0500
committerGravatar Patrick Hurst <phurst@mit.edu>2013-12-08 03:25:31 -0500
commit862c1768fa9eca1bf2afdaf0c8cf0b3cfd74f0c5 (patch)
treef2e47ed10fbecb77303fca9da332aba6bf546796 /lib
parentd9b57cd6aa45c541b00e4cf7c1f710ac412bc243 (diff)
Rename datetime type to t in the .urs file.
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/datetime.urs12
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
index 2fc2998b..26ee795a 100644
--- a/lib/ur/datetime.urs
+++ b/lib/ur/datetime.urs
@@ -5,7 +5,7 @@ datatype month = January | February | March | April | May | June | July |
August | September | October | November | December
-type datetime = {
+type t = {
Year : int,
Month : month,
Day : int,
@@ -23,8 +23,8 @@ val intToDayOfWeek : int -> day_of_week
val monthToInt : month -> int
val intToMonth : int -> month
-val toTime : datetime -> time
-val fromTime : time -> datetime
-val format : string -> datetime -> string
-val dayOfWeek : datetime -> day_of_week
-val now : transaction datetime
+val toTime : t -> time
+val fromTime : time -> t
+val format : string -> t -> string
+val dayOfWeek : t -> day_of_week
+val now : transaction t