Polynomial_protocol (mavkit-libs.Distribution.Polynomial

module type S = sig ... end

module type Super = sig ... end

module Make
  (PC : Polynomial_commitment.PC_for_distribution_sig) : 
  S with module PC = PC

module MakeSuper
  (PC : Kzg_pack.Super_PC_sig)
  (Answers_commitment : Plonk.Input_commitment.S) : 
  Super with module PC = PC with module Answers_commitment = Answers_commitment