sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
External Typechecker interface for TFF
This module defines the external typechcker interface, that is, the interface of an instantiated typechecker.
module type S = sig ... end
Typechecker interface