You can search for identifiers within the package.
in-package search v0.2.0
pgsolver
Stratimprlocal
val partially_solve : Paritygame.partial_solver
val solve : Paritygame.global_solver
val register : unit -> unit