--- a/datebox.urs	Sun Jul 24 14:51:16 2011 -0400
+++ b/datebox.urs	Thu Jul 28 10:24:34 2011 -0430
@@ -1,12 +1,24 @@
+class givesDates
+
 type t
+type calendarCtl
+
+val givesDates_t : givesDates t
+val givesDates_calendarCtl : givesDates calendarCtl
 
 type date = {Year : int, Month : int, Day : int}
 val date_ord : ord date
 val time : date -> time
+val date : time -> date
 
 val create : time -> transaction t
 val render : t -> xbody
-val value : t -> signal date
+
+val createCalendarCtl : time -> transaction calendarCtl
+val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody
+val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit
+
+val value : t ::: Type -> givesDates t -> t -> signal date
 
 style calendar
 style prev