blob: d3ac0d461f8f361cbcefd22e07a4aa4697a34e13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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
end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther
where con userId = M.userId
where con paperId = M.paperId
where con yourPaperTables = []
|
