datatype list t = Nil | Cons of t * list t table t : {A : int} fun main () : transaction page = let fun rows () = query (SELECT * FROM t) (fn r ls => return (Cons (r.T.A, ls))) Nil fun show ls = case ls of Nil => | Cons (x, ls') => {[x]}
{show ls'}
in s <- source Nil; return