adamc@1001: functor Make(M : sig
adamc@1003:                  con paper :: {(Type * Type)}
adamc@1003:                  constraint [Id, Title] ~ paper
adamc@1004:                  val paper : $(map Meta.meta paper)
adamc@1003: 
adamc@1001:                  con review :: {(Type * Type)}
adamc@1003:                  constraint [Paper, User] ~ review
adamc@1004:                  val review : $(map Meta.meta review)
adamc@1001:              end) : sig
adamc@1001: 
adamc@1001:     val main : unit -> transaction page
adamc@1001: 
adamc@1001: end