Module Distribution.Main_protocol

module SMap = Kzg.SMap
val nb_wires : int
module type S = sig ... end
module Common (PP : Polynomial_protocol.S) : sig ... end
module Make (PP : Polynomial_protocol.S) : sig ... end
module MakeSuper (PP : Polynomial_protocol.Super) : sig ... end