package links
val program :
Types.typing_environment ->
Sugartypes.program ->
Sugartypes.program * Types.datatype * Types.typing_environment
val sentence :
Types.typing_environment ->
Sugartypes.sentence ->
Sugartypes.sentence * Types.datatype * Types.typing_environment
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>