You can search for identifiers within the package.
in-package search v0.2.0
type prover = Commitment.prover_public_parameters
val prover_t : prover Repr.t
type verifier = Make(Plonk.Polynomial_commitment.Kzg_impl).Public_parameters.verifier
val verifier_t : verifier Repr.t
type setup_params = int
val setup : setup_params -> (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) -> prover * verifier
val to_bytes : int -> prover -> Stdlib.Bytes.t