package why3
val module_ : Mltree.pmodule -> Mltree.pmodule
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
val module_ : Mltree.pmodule -> Mltree.pmodule