You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.lib
NewProfile.Counters
type t
val get : unit -> t
val zero : t
val (+) : t -> t -> t
val (-) : t -> t -> t
val print : t -> Pp.t