Module Aplonk.Pi_parametersSource

Sourcemodule type CircuitPI = sig ... end

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

Sourcemodule type S = sig ... end