adamc@1001: functor Make(M : sig
adamc@1003:                  con paper :: {(Type * Type)}
adamc@1010:                  constraint [Id, Document, Authors] ~ paper
adamc@1004:                  val paper : $(map Meta.meta paper)
adamc@1007:                  val paperFolder : folder paper
adamc@1003: 
adamc@1001:                  con review :: {(Type * Type)}
adamc@1003:                  constraint [Paper, User] ~ review
adamc@1004:                  val review : $(map Meta.meta review)
adamc@1011:                  val reviewFolder : folder review
adamc@1006: 
adamc@1006:                  val submissionDeadline : time
adamc@1009:                  val summarizePaper : $(map fst paper) -> xbody
adamc@1001:              end) : sig
adamc@1001: 
adamc@1001:     val main : unit -> transaction page
adamc@1001: 
adamc@1001: end