You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Stubs.Soundness
Soundness assumptions
type MopsaLib.assumption_kind +=
| A_stub_soundness_message of string