adamc@794: val x = List.rev (List.Cons (1, List.Cons (0, List.Nil))) adamc@794: val y = List.mp (plus 2) x adamc@794: adamc@794: fun main () : transaction page = return adamc@794: {[x]}
adamc@794: {[y]} adamc@794: