adam@1792: fun main () : transaction page = adam@1792: i <- fresh; adam@1792: x <- source ; adam@1792: return adam@1792: adam@1792: adam@1792: }/>; return }/> adam@1792: adam@1792: