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