You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Stubs.Body
Inter-procedural iterator of stubs by inlining.
Trace markers
type MopsaLib.marker +=
| M_stub_case of Stubs.Ast.stub_func * Stubs.Ast.case
Abstract domain
module Domain : sig ... end