You can search for identifiers within the package.
in-package search v0.2.0
logtk
Logtk.JPFull
module Make (S : sig ... end) : UnifFramework.US