adam@1887: functor F(M : sig
adam@1887:               table t : { A : int, B : int }
adam@1887:                 PRIMARY KEY A
adam@1887:           end) = struct
adam@1887:     open M
adam@1887: 
adam@1887:     fun getByA a = oneRow1 (SELECT * FROM t WHERE t.A = {[a]})
adam@1887: end
adam@1887: 
adam@1887: table u : { A : int, B : int }
adam@1887:   PRIMARY KEY A,
adam@1887:   CONSTRAINT B UNIQUE B
adam@1887: 
adam@1887: open F(struct
adam@1887:            val t = u
adam@1887:        end)