You can search for identifiers within the package.
in-package search v0.2.0
val pairing : (BN128Curve.G2.t BN128Curve.point * BN128Curve.G1.t BN128Curve.point) -> BN128Curve.G12.t