# HG changeset patch
# User Patrick Hurst <phurst@mit.edu>
# Date 1386491131 18000
# Node ID 0ee44375fe6419da337382fef922f076ca796db0
# Parent  a10368c65e7fae59c3d0ef3344897ef120d4426d
Rename datetime type to t in the .urs file.

diff -r a10368c65e7f -r 0ee44375fe64 lib/ur/datetime.urs
--- a/lib/ur/datetime.urs	Sat Dec 07 21:31:51 2013 -0500
+++ b/lib/ur/datetime.urs	Sun Dec 08 03:25:31 2013 -0500
@@ -5,7 +5,7 @@
          August | September | October | November | December
 
 
-type datetime = {
+type t = {
      Year : int,
      Month : month,
      Day : int,
@@ -23,8 +23,8 @@
 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