adamc@387: fun main () : transaction page = return adamc@387: {txt _ (1 = 1)}, {txt _ (1 = 2)}
adamc@388: {txt _ (1 <> 1)}, {txt _ (1 <> 2)}
adamc@388: {txt _ (True = True)}, {txt _ (True = False)}
adamc@388: {txt _ (True <> True)}, {txt _ (True <> False)}
adamc@388: {txt _ ("A" = "A")}, {txt _ ("A" = "B")}
adamc@388: {txt _ ("A" <> "A")}, {txt _ ("A" <> "B")}
adamc@387: