blob: 4741af00eb0402746de49ed1127bf01639a1d688 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
con colMeta' = fn t :: Type => {Show : t -> xbody}
con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' 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
|
