adamc@704: table t : {A : int, B : int}
adamc@704:   CONSTRAINT UniA UNIQUE A,
adamc@704:   CONSTRAINT UniB UNIQUE B,
adamc@704:   CONSTRAINT UniBoth UNIQUE (A, B),
adamc@704: 
adamc@704:   CONSTRAINT UniAm UNIQUE {#A},
adamc@704:   CONSTRAINT UniAm2 UNIQUE {{[A = _]}},
adamc@704:   CONSTRAINT UniAm3 {unique [[A = _]] !},
adamc@704:   {{one_constraint [#UniAm4] (unique [[A = _]] !)}}
adamc@704: 
adamc@704: fun main () : transaction page =
adamc@704:     queryI (SELECT * FROM t) (fn _ => return ());
adamc@704:     return <xml/>