--- a/datebox.urs	Fri Sep 23 13:30:01 2011 +0200
+++ b/datebox.urs	Sat Sep 24 15:47:00 2011 -0400
@@ -1,8 +1,7 @@
-con t::{Unit}->Type
+type t
 
-(* The type of dateboxes, which are input elements
- * allowing the user to select a date from a popup
- * calendar. *)
+(* The type of dateboxes, which are input elements allowing the user to select a
+ * date from a popup calendar. *)
 
 type date = {Year : int, Month : int, Day : int}
 val date_eq : eq date
@@ -11,17 +10,17 @@
 val date : time -> date
 (* Type of dates and some useful utility functions. *)
 
-val create : other_ctx:::{Unit} -> [other_ctx ~ body] => time -> transaction (t other_ctx)
+val create : time -> transaction t
 (* Get a datebox initially set to the given time. *)
 
-val onChange : other_ctx:::{Unit} -> [other_ctx ~ body] => t other_ctx -> (date -> transaction {}) -> transaction {}
+val onChange : t -> (date -> transaction {}) -> transaction {}
 (* Add an action to be run when the date changes. *)
 
-val set : other_ctx:::{Unit} -> [other_ctx ~ body] => t other_ctx -> date -> transaction {}
+val set : t -> date -> transaction {}
 (* Call this to change the selected date. *)
 
-val value : other_ctx:::{Unit} -> [other_ctx ~ body] => t other_ctx -> signal date
+val value : t -> signal date
 (* Extract the current date value. *)
 
-val render : other_ctx:::{Unit} -> [other_ctx ~ body] =>  t other_ctx -> xml ([Body] ++ other_ctx) [] []
+val gui_t : Gui.gui t []
 (* Draws the datebox as a piece of xml. *)