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