Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112131415(* * 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