You can search for identifiers within the package.
in-package search v0.2.0
module Bound : sig ... end
module Convexe : sig ... end
module Union : sig ... end