You can search for identifiers within the package.
in-package search v0.2.0
Web interface
module WebIf (Webs : Webserver_types.WEBSERVER) : sig ... end