adam@2079: fun dn [a] (_ : show a) (x : source a) : xbody =
adam@2079:
adam@2079:
adam@2079:
adam@2079: fun main () : transaction page =
adam@2079: a <- source "";
adam@2079: b <- source True;
adam@2079: c <- source "a@b";
adam@2079: d <- source "";
adam@2079: e <- source "";
adam@2079: f <- source "";
adam@2079:
adam@2079: return
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079: {dn a};
adam@2079: {dn b};
adam@2079: {dn c};
adam@2079: {dn d};
adam@2079: {dn e};
adam@2079: {dn f}
adam@2079: