You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Partitioning.Int_var
State partitioning depending on the value of target integer variables
module Domain : sig ... end