You can search for identifiers within the package.
in-package search v0.2.0
universo.solving
Solving
module Solver : sig ... end
module Utils : sig ... end
module Z3arith : sig ... end
module Z3cfg : sig ... end
module Z3syn : sig ... end