package lambdapi
Functional sets of integers.
type elt = Base.Int.t
val empty : t
val is_empty : t -> bool
val cardinal : t -> int
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>