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