1 2 3 4
table t : { A : string } PRIMARY KEY A table u : { A : string } CONSTRAINT A FOREIGN KEY A REFERENCES t(A) val main : transaction page = return <xml></xml>