--- a/src/ur/openidUser.urs	Thu Jan 06 12:48:13 2011 -0500
+++ b/src/ur/openidUser.urs	Thu Jan 06 14:42:37 2011 -0500
@@ -1,8 +1,17 @@
 functor Make(M: sig
                  con cols :: {Type}
                  constraint [Id] ~ cols
+                 val folder : folder cols
+                 val inj : $(map sql_injectable cols)
                  (* Extra columns to add to the user database table *)
 
+                 type creationState
+                 type creationData
+                 val creationState : transaction creationState
+                 val render : creationState -> xtable
+                 val tabulate : creationState -> signal creationData
+                 val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]] -> creationData -> transaction $cols
+
                  val sessionLifetime : int
                  (* Number of seconds a session may live *)
 
@@ -17,6 +26,8 @@
 
                  val realm : option string
                  (* See end of [Openid] module's documentation for the meaning of realms *)
+
+                 val formClass : css_class
              end) : sig
 
     type user