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