package coq
val module_expr : Constrexpr.module_ast Gram.entry
val module_type : Constrexpr.module_ast Gram.entry
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>