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