You can search for identifiers within the package.
in-package search v0.2.0
universo.solving
Solving.Solver
module Make (S : Utils.SMTSOLVER) : Utils.SOLVER
module MakeUF (S : Utils.SMTSOLVER) : Utils.SOLVER