blob: 1330a21d5e8de6c09f2ddcce5325ab2e096a9eac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
functor Make(M : sig
con ts :: {(Type * Type)}
val tab : sql_table (map fst ts) []
val cols : $(map (fn p => p.2 -> string) ts)
end) = struct
end
table t : {A : string}
open Make(struct
val tab = t
val cols = {A = fn p : {B : string, C : string} => p.B ^ p.C}
end)
|
