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