--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/more/meta.urs	Tue Oct 20 12:48:53 2009 -0400
@@ -0,0 +1,12 @@
+con meta = fn (db :: Type, widget :: Type) =>
+                    {Nam : string,
+                     Show : db -> xbody,
+                     Widget : nm :: Name -> xml form [] [nm = widget],
+                     WidgetPopulated : nm :: Name -> db -> xml form [] [nm = widget],
+                     Parse : widget -> db,
+                     Inject : sql_injectable db}
+
+val int : string -> meta (int, string)
+val float : string -> meta (float, string)
+val string : string -> meta (string, string)
+val bool : string -> meta (bool, bool)