sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module S : UnifierSig.STRUCTURE
module D : UnifierSig.DATA
type 'a structure = 'a S.structure
type data = D.t
val id : variable -> int
val is_representative : variable -> bool
exception Cycle of variable