val x = List.rev (List.Cons (1, List.Cons (0, List.Nil))) val y = List.mp (plus 2) x fun main () : transaction page = return {[x]}
{[y]}
{[Aux.hello]}
{List.mapX (fn n => {[n]}!) x}