Start of Decision

1 files changed, 11 insertions, 0 deletions

diff --git a/demo/more/decision.urs b/demo/more/decision.urs
new file mode 100644
index 00000000..d3ac0d46
--- /dev/null
+++ b/demo/more/decision.urs
@@ -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 = []