package octez-plonk
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>