Permutation_gate (mavkit-libs.Plonk.Permutation

module L = Plompiler.LibCircuit

module Permutation_gate_impl (PP : Polynomial_protocol.S) : sig ... end

module type S = sig ... end

module Permutation_gate (PP : Polynomial_protocol.S) : S with module PP = PP