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