Module Plonk.Plookup_gateSource

Sourceval nb_plookup_wires : int
Sourcemodule type S = sig ... end
Sourcemodule Plookup_gate (PP : Polynomial_protocol.S) : S with module PP = PP