adam@1785: fun main () : transaction page = adam@1785: id1 <- fresh; adam@1785: id2 <- fresh; adam@1785: s1 <- source ""; adam@1785: s2 <- source ""; adam@1785: which <- source False; adam@1785: adam@1785: return adam@1785: adam@1785: adam@1785: