Module PC.Commitment

val t : t Repr.t
type prover_aux
val prover_aux_t : prover_aux Repr.t
type 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