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