coq-lsp.fleche
Fleche.Stats
Example_plugin
coq-lsp.coq
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
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 reset : unit -> unit
type t
val zero : unit -> t
val to_string : t -> string
val dump : unit -> t
val restore : t -> unit
val get_f : t -> kind:Kind.t -> float
val pp_words : Format.formatter -> float -> unit
Pretty-print memory info as words