Module Polynomial_commitment.CommitmentSource

Sourceval t : t Repr.t
Sourceval prover_aux_t : prover_aux Repr.t
Sourceval commit : ?all_keys:string list -> prover_public_parameters -> secret -> t * prover_aux
Sourceval cardinal : t -> int
Sourceval rename : (string -> string) -> t -> t