Module Distribution.Polynomial_protocolSource

Sourcemodule type S = sig ... end
Sourcemodule type Super = sig ... end
Sourcemodule Make (PC : Kzg.PC_for_distribution_sig) : S with module PC = PC