adamc@1030: val decision : Meta.private (option bool)
adamc@1030: 
adamc@1030: functor Make (M : sig
adamc@1030:                   con paperOther :: {Type}
adamc@1030:                   constraint [Id, Decision] ~ paperOther
adamc@1030:                   include Conference.INPUT
adamc@1030:                           where con paper = [Decision = option bool] ++ paperOther
adamc@1031: 
adamc@1032:                   val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $([Id = paperId] ++ paperOther)
adamc@1032:                                                                    -> transaction (xml ([Body] ++ ctx) [] [])
adamc@1030:               end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther
adamc@1030:                                        where con userId = M.userId
adamc@1030:                                        where con paperId = M.paperId
adamc@1030:                                        where con yourPaperTables = []