adam@2: type t
adam@2: 
adam@4: type date = {Year : int, Month : int, Day : int}
adam@5: val date_ord : ord date
adam@5: val time : date -> time
adam@4: 
adam@4: val create : time -> transaction t
adam@2: val render : t -> xbody
adam@4: val value : t -> signal date
adam@2: 
adam@2: style calendar
adam@2: style prev
adam@2: style this
adam@2: style next
adam@2: style weekday
adam@2: style curday
adam@2: style otherday
adam@4: style selday