package octez-plonk
module L = Plompiler.LibCircuit
module AddWeierstrass : Gates_common.Base_sig
module AddEdwards : Gates_common.Base_sig
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>