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