You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.pretyping
ReductionBehaviour.Db
type t
val get : unit -> t
val empty : t
val print : t -> Names.Constant.t -> Pp.t
val all_never_unfold : t -> Names.Cpred.t