blob: d3c88e19a6e09b295f7ec97e6a8b76bfcd40f2fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(*
* This file defines our persistent counter, which we use in the
* CountPersistent command.
*)
(*
* Increment the persistent counter
*)
val increment : unit -> unit
(*
* Determine the value of the persistent counter
*)
val value : unit -> int
|
