package coq
module Self : sig ... end
module Set : sig ... end
val initial : t
val dummy : t
val fresh : unit -> t
val to_string : t -> string
val of_int : int -> t
val to_int : t -> int
val add : Exninfo.info -> valid:t -> t -> Exninfo.info
val get : Exninfo.info -> (t * t) option
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>