adam@1702: fun main () : transaction page = adam@1702: x <- fresh; adam@1702: s <- source 0; adam@1702: q <- source ""; adam@1702: return adam@1702: adam@1702: n = {[n]}}/>{[v]}}/> adam@1702: adam@1702: