You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Iterators.Intraproc
Intra-procedural iterator for blocks, assignments and tests
Trace markers
type MopsaLib.marker +=
| M_if of bool * MopsaLib.expr
Domain definition
module Domain : sig ... end