adamc@648: sequence seq adamc@648: adamc@648: fun increment () = nextval seq adamc@648: adamc@648: fun main () = adamc@648: src <- source 0; adamc@648: return adamc@648: {[n]}}/> adamc@648: