Module Counter.Simple

Parameters

Signature

val inc : unit -> unit

Increase value of the counter.

val dec : unit -> unit

Decrease value of the counter.

val get : unit -> int

Get current value of the counter.

val next : unit -> int

Increase value of the counter and return it.