adamc@326: con colMeta = fn cols :: {Type} => $(mapTT (fn t => {Show : t -> xbody}) cols)
adamc@326: 
adamc@325: functor Make(M : sig
adamc@325:         con cols :: {Type}
adamc@325:         constraint [Id] ~ cols
adamc@325:         val tab : sql_table ([Id = int] ++ cols)
adamc@325: 
adamc@325:         val title : string
adamc@325: 
adamc@326:         val cols : colMeta cols
adamc@325: end) : sig
adamc@325:         val main : unit -> transaction page
adamc@325: end