Range_check_gate (mavkit-libs.Plonk.Range_check

module L = Plompiler.LibCircuit

type s_repr = L.scalar L.repr

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