package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a getter = unit -> 'a
type !'a installer = 'a getter -> unit
val new_counter : name:string -> 'a -> incr:('a -> 'a) -> build:('a -> 'b) -> 'b getter * 'b installer
type remote_counters_status
val backup : unit -> remote_counters_status
val snapshot : unit -> remote_counters_status
val restore : remote_counters_status -> unit
OCaml

Innovation. Community. Security.