You can search for identifiers within the package.
in-package search v0.2.0
coq-core.boot
Boot
module Env : sig ... end
Coq runtime enviroment API.
module Path : sig ... end
module Util : sig ... end