package coq-lsp

  1. Overview
  2. Docs

Module Fleche.StatsSource

Sourcemodule Kind : sig ... end

time-based stats

Sourceval get : kind:Kind.t -> float
Sourceval record : kind:Kind.t -> f:('a -> 'b) -> 'a -> 'b * float
Sourceval to_string : unit -> string
Sourceval reset : unit -> unit
Sourcetype t
Sourceval dump : unit -> t
Sourceval restore : t -> unit
Sourceval get_f : t -> kind:Kind.t -> float
OCaml

Innovation. Community. Security.