sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Interval_unixSourceS_time is a signature that's used below to define the interfaces for Time and Time_ns without duplication.
module Time :
S_time
with module Time := Core.Time_float
and type t = Core.Time_float.t Interval_lib.Interval.tmodule Time_ns :
S_time
with module Time := Core.Time_ns
and type t = Core.Time_ns.t Interval_lib.Interval.t