You can search for identifiers within the package.
in-package search v0.2.0
type t = BN128Elements.FQP.t
val b : t
val g : t point
val is_on_curve : t point -> bool
val double : t point -> t point
val add : t point -> t point -> t point
val mul : t point -> Z.t -> t point
val neg : t point -> t point