diff options
Diffstat (limited to 'lib/remoteCounter.mli')
| -rw-r--r-- | lib/remoteCounter.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/remoteCounter.mli b/lib/remoteCounter.mli index 5a47ba663..18e6b6b59 100644 --- a/lib/remoteCounter.mli +++ b/lib/remoteCounter.mli @@ -20,4 +20,7 @@ val new_counter : name:string -> type remote_counters_status val backup : unit -> remote_counters_status +(* like backup but makes a copy so that further increment does not alter + * the snapshot *) +val snapshot : unit -> remote_counters_status val restore : remote_counters_status -> unit |