package coq-lsp

  1. Overview
  2. Docs
module Kind : sig ... end

time-based stats

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