Module Incremental_kernel__Incremental.Make.Time.Span