package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=0cfaa70f569be9494d24c829e6555d46

sha512=8ee967c636b67b22a4f34115871d8f9b9114df309afc9ddf5f61275251088c6e21f6cf745811df75554d30f4cebb6682f23eeb2e88b771330c4b60ce3f6bf5e2

Sourcemodule MiniJson : sig ... end

val profile : 
  string ->
  ?args:(unit -> (string * MiniJson.t) list) ->
  (unit -> 'a) ->
  unit ->
  'a

Profile the given function.

args is called only if profiling is active, it is used to produce additional annotations.

Sourceval is_profiling : unit -> bool

Sourcetype settings = {

}

Sourceval init : settings -> unit

Profiling must not be active. Activates profiling with a fresh state.

Sourceval finish : unit -> unit

Profiling must be active. Deactivates profiling.

Sourcetype accu

Profiling state accumulator.

Sourceval pause : unit -> accu option

Returns None if profiling is inactive. Deactivates profiling if it is active, returning the current state.

Sourceval resume : accu -> unit

Profiling must not be active. Activates profiling with the given state.