Plonk.Plookup_gate
val nb_plookup_wires : int
module Plookup_gate_impl (PP : Polynomial_protocol.S) : sig ... end
module type S = sig ... end
module Plookup_gate (PP : Polynomial_protocol.S) : S with module PP = PP