fun dn [a] (_ : show a) (x : source a) : xbody =
fun main () : transaction page =
a <- source "";
b <- source True;
c <- source "a@b";
d <- source "";
e <- source "";
f <- source "";
g <- source (Some 1.0);
h <- source (Some 1.0);
i <- source "#CCCCCC";
j <- source "2014/11/16";
k <- source "2014/11/16 12:30:45";
l <- source "2014/11/16 12:30:45";
m <- source "2014/11";
n <- source "2014-W7";
o <- source "12:30:45";
return
{dn a};
{dn b};
{dn c};
{dn d};
{dn e};
{dn f};
{dn g};
{dn h};
{dn i};
{dn j};
{dn k};
{dn l};
{dn m};
{dn n};
{dn o}