Module Distribution.Main_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourcemodule type S = sig ... end
Sourcemodule Make (PP : Polynomial_protocol.S with type PC.BasePC.Scalar.t = Plompiler.S.t) : sig ... end