adam@1884: val x = 1 :: 2 :: [] adam@1884: val y = 3 :: 4 :: [] adam@1884: adam@1884: fun main () : transaction page = return adam@1885: {[ListPair.mp plus x y]} adam@1884: