You can search for identifiers within the package.
in-package search v0.2.0
val leader_lists : G.t -> G.V.t -> G.V.t list list