Module Plonk.Plookup_gateSource

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