package octez-plonk
module Scalar = Plompiler.Csir.Scalar
module Scalar_map : sig ... end
module Domain = Octez_bls12_381_polynomial.Bls12_381_polynomial.Domain
module Evaluations : sig ... end
module G1 : sig ... end
module G2 : sig ... end
module GT : sig ... end
module Pairing = Bls12_381.Pairing
module Srs_g1 = Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g1
module Srs_g2 = Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g2
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>