--- a/lib/ur/top.urs	Sat Nov 20 09:48:03 2010 -0500
+++ b/lib/ur/top.urs	Sat Nov 20 10:45:22 2010 -0500
@@ -129,6 +129,10 @@
                   sql_query [] tables exps
                   -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
 
+val queryL1 : t ::: Name -> fs ::: {Type}
+              -> sql_query [] [t = fs] []
+              -> transaction (list $fs)
+
 val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type
              -> sql_query [] [t = fs] []
              -> ($fs -> state -> transaction state)