aboutsummaryrefslogtreecommitdiff
path: root/doc/plugin_tutorial/tuto2/src/counter.mli
blob: 984bc1d2cca443e916656ad1c0593fdb6279ac06 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
(*
 * This file defines our counter, which we use in the Count command.
 *)

(*
 * Increment the counter
 *)
val increment : unit -> unit

(*
 * Determine the value of the counter
 *)
val value : unit -> int