package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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