1 2 3 4 5 6
table a : { B : int } fun main () : transaction page = dml (update [[]] {} a (WHERE TRUE)); return <xml></xml>