You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.vernac
Library.Intern
Intern from a .vo file located by libresolver
module Provenance : sig ... end
type t = Names.DirPath.t -> (library_t, Exninfo.iexn) Result.t * Provenance.t