adamc@704: table t : {A : int, B : int}
adamc@707:   PRIMARY KEY B,
adamc@707: 
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@705:   CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
adamc@705:   {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
adamc@705: 
adamc@705:   CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
adamc@705:   CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
adamc@705:   {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
adamc@704: 
adamc@704: fun main () : transaction page =
adamc@704:     queryI (SELECT * FROM t) (fn _ => return ());
adamc@704:     return <xml/>