You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Values.Powersets
module Standard : sig ... end
Finite powerset of integer constants
module Excluded : sig ... end
Finite sets of possibly included or definitely excluded integer constants