adam@2: type t
adam@2: 
adam@2: val create : transaction t
adam@2: val render : t -> xbody
adam@3: val value : t -> signal {Year : int, Month : int, Day : int}
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