--- a/demo/more/orm.urs	Mon Oct 05 16:36:38 2009 -0400
+++ b/demo/more/orm.urs	Mon Oct 05 17:00:04 2009 -0400
@@ -15,5 +15,11 @@
     val inj : sql_injectable id
     val id : meta id
 
-    val create : $M.cols -> transaction id
+    type row = $([Id = id] ++ M.cols)
+
+    val create : $M.cols -> transaction row
+    val delete : row -> transaction unit
+    val save : row -> transaction unit
+    val lookup : id -> transaction (option row)
+    val list : transaction (list row)
 end