You can search for identifiers within the package.
in-package search v0.2.0
psmt2-frontend
Psmt2Frontend.Main
val main : unit -> unit