Module Aplonk.Pi_parameters

module Main_Pack = Aggregation.Main_protocol
module type CircuitPI = sig ... end

Tells the meta-verification proof what to do with the public inputs of the inner proofs

module type S = sig ... end