adam@1301: (* Workhorse function, which [main] will call *) adamc@416: fun counter n = return adamc@416: Current counter: {[n]}
adamc@416: Increment
adamc@416: Decrement adamc@416: adamc@416: adamc@416: fun main () = counter 0