package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 : Stdlib.Format.formatter -> float -> unit

Pretty-print memory info as words