--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/more/decision.urs	Mon Nov 02 15:48:06 2009 -0500
@@ -0,0 +1,11 @@
+val decision : Meta.private (option bool)
+
+functor Make (M : sig
+                  con paperOther :: {Type}
+                  constraint [Id, Decision] ~ paperOther
+                  include Conference.INPUT
+                          where con paper = [Decision = option bool] ++ paperOther
+              end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther
+                                       where con userId = M.userId
+                                       where con paperId = M.paperId
+                                       where con yourPaperTables = []