You can search for identifiers within the package.
in-package search v0.2.0
libsolver
Libsolver.TERM
module Bl : sig ... end
module Bv : sig ... end
module Ax : sig ... end