Mercurial > urweb
view demo/more/decision.urs @ 1329:9be9da2df74b
Clarifying some C FFI details in manual
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 11 Dec 2010 11:00:05 -0500 |
parents | 5d9f47124c4c |
children |
line wrap: on
line source
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 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $([Id = paperId] ++ paperOther) -> transaction (xml ([Body] ++ ctx) [] []) end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther where con userId = M.userId where con paperId = M.paperId where con yourPaperTables = []