You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Python.Common
module Frontend : sig ... end
module Program : sig ... end
Main handler of Python programs.
module Soundness : sig ... end
Soundness assumptions