You can search for identifiers within the package.
in-package search v0.2.0
logtk
Logtk.SolidUnif
module T = Term
module US = Unif_subst
module Make (S : sig ... end) : sig ... end