Module Aplonk.CircuitSource

Sourcemodule SMap = Kzg.SMap
Sourceval nb_wires : int
Sourcemodule V (Main : Aggregation.Main_protocol.S) : sig ... end