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@795: {[y]}
adamc@796: {[Aux.hello]}
adamc@796: {List.mapX (fn n => {[n]}!) x} adamc@794: