package why3
module type OrderedType = Map.OrderedType
module type S = sig ... end
module Make (Ord : OrderedType) : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>