You can search for identifiers within the package.
in-package search v0.2.0
module Fq12 : sig ... end
module Fr : sig ... end
module G1 : sig ... end
module G2 : sig ... end
module Pairing : sig ... end