package why3
val set_column : Format.formatter -> int -> unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
val set_column : Format.formatter -> int -> unit