Main_protocol (mavkit-libs.Aplonk.Main

module SMap = Kzg.SMap

module Make_impl
  (Main_KZG : 
    Plonk.Main_protocol.S with type public_inputs = Kzg.Bls.Scalar.t array list)
  (Main_Pack : 
    Aggregation.Main_protocol.S
      with type public_inputs = Kzg.Bls.Scalar.t array list
      with module PP.Answers_commitment = Main_KZG.Input_commitment)
  (PIs : Pi_parameters.S) : 
  sig ... end

module Main_KZG = Plonk.Main_protocol

module Super_PP : sig ... end

module Main_Pack : sig ... end

module Make_raw
  (Main_KZG : 
    Plonk.Main_protocol.S with type public_inputs = Kzg.Bls.Scalar.t array list)
  (Main_Pack : 
    Aggregation.Main_protocol.S
      with type public_inputs = Kzg.Bls.Scalar.t array list
      with module PP.Answers_commitment = Main_KZG.Input_commitment)
  (PIs : Pi_parameters.S) : 
  Plonk.Main_protocol.S
    with module Input_commitment = Main_Pack.Input_commitment
    with type circuit_prover_input = Main_Pack.circuit_prover_input
    with type public_inputs = Kzg.Bls.Scalar.t list

module Make (PIs : Pi_parameters.S) : sig ... end