Module Incremental_kernel.Incremental.Make.Time.Span