Module Make_impl.CommitmentSource

val t : t Repr.t
val prover_aux_t : prover_aux Repr.t
type prover_public_parameters = Super_PP.PC.Commitment.prover_public_parameters
val commit : ?all_keys:string list -> prover_public_parameters -> secret -> t * prover_aux
val cardinal : t -> int
val rename : (string -> string) -> t -> t