blob: e33403cb363a8eb99d01114309e2bd76e62b249a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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 = []
|
