You can search for identifiers within the package.
in-package search v0.2.0
alt-ergo-lib
AltErgoLib.Theory
module type S = sig ... end
module Main_Default : S
module Main_Empty : S