You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Flows.Exn
Abstraction of exceptions flows.
module Domain : sig ... end