blob: 5f2ae695a34d1248ad1ce994aa38194c517cc8da (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
functor Make(M : sig
con cols :: {Type}
constraint [Id] ~ cols
val tab : sql_table ([Id = int] ++ cols)
val title : string
val cols : $(mapTT (fn t => {Show : t -> xbody}) cols)
end) : sig
val main : unit -> transaction page
end
|