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