You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.pretyping
PrintingInductiveMake._
val encode : Environ.env -> Libnames.qualid -> Names.inductive
val member_message : Pp.t -> bool -> Pp.t
val field : string
val title : string