Mercurial > urweb
comparison demo/more/decision.urs @ 1030:6bcc1020d5cd
Start of Decision
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 02 Nov 2009 15:48:06 -0500 |
| parents | |
| children | 5dccff15fa62 |
comparison
equal
deleted
inserted
replaced
| 1029:53a22f46f377 | 1030:6bcc1020d5cd |
|---|---|
| 1 val decision : Meta.private (option bool) | |
| 2 | |
| 3 functor Make (M : sig | |
| 4 con paperOther :: {Type} | |
| 5 constraint [Id, Decision] ~ paperOther | |
| 6 include Conference.INPUT | |
| 7 where con paper = [Decision = option bool] ++ paperOther | |
| 8 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther | |
| 9 where con userId = M.userId | |
| 10 where con paperId = M.paperId | |
| 11 where con yourPaperTables = [] |