Mercurial > urweb
annotate 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 |
| rev | line source |
|---|---|
| adamc@1030 | 1 val decision : Meta.private (option bool) |
| adamc@1030 | 2 |
| adamc@1030 | 3 functor Make (M : sig |
| adamc@1030 | 4 con paperOther :: {Type} |
| adamc@1030 | 5 constraint [Id, Decision] ~ paperOther |
| adamc@1030 | 6 include Conference.INPUT |
| adamc@1030 | 7 where con paper = [Decision = option bool] ++ paperOther |
| adamc@1030 | 8 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther |
| adamc@1030 | 9 where con userId = M.userId |
| adamc@1030 | 10 where con paperId = M.paperId |
| adamc@1030 | 11 where con yourPaperTables = [] |