structure S = struct fun one () = let fun save r = return in return end fun two () = let fun save r = return in return end end fun main () : transaction page = return one two