Module Distribution.Main_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourceval nb_wires : int
Sourcemodule type S = sig ... end
Sourcemodule Common (PP : Polynomial_protocol.S) : sig ... end
Sourcemodule Make (PP : Polynomial_protocol.S) : sig ... end