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 dump : unit -> string
val reset : unit -> unit