octez-plonk
Plonk.Range_check_gate
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.distribution
octez-plonk.plonk-test
module type S = sig ... end
module Range_check_gate_impl (PP : Polynomial_protocol.S) : sig ... end
module Range_check_gate (PP : Polynomial_protocol.S) : S with module PP = PP