Mercurial > gui

diff datebox.urs @ 5:4385bc6a0d2d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some Datebox functions related to dates
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Feb 2011 12:39:20 -0500
parents 377c11586999
children bbdedfde154e
line wrap: on
line diff
--- a/datebox.urs	Tue Feb 08 16:52:29 2011 -0500
+++ b/datebox.urs	Thu Feb 10 12:39:20 2011 -0500
@@ -1,6 +1,8 @@
 type t
 
 type date = {Year : int, Month : int, Day : int}
+val date_ord : ord date
+val time : date -> time
 
 val create : time -> transaction t
 val render : t -> xbody