diff lib/ur/datetime.urs @ 1975:0ee44375fe64

Rename datetime type to t in the .urs file.
author Patrick Hurst <phurst@mit.edu>
date Sun, 08 Dec 2013 03:25:31 -0500
parents a10368c65e7f
children 50322ba22972
line wrap: on
line diff
--- 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