You can search for identifiers within the package.
in-package search v0.2.0
flint
Flint
module FMPZ : sig ... end
module FMPQ : sig ... end
module FMPZ_poly : sig ... end