Mercurial > gui

comparison 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
comparison
equal deleted inserted replaced
4:377c11586999 5:4385bc6a0d2d
1 type t 1 type t
2 2
3 type date = {Year : int, Month : int, Day : int} 3 type date = {Year : int, Month : int, Day : int}
4 val date_ord : ord date
5 val time : date -> time
4 6
5 val create : time -> transaction t 7 val create : time -> transaction t
6 val render : t -> xbody 8 val render : t -> xbody
7 val value : t -> signal date 9 val value : t -> signal date
8 10