Module Incremental_kernel.Incremental.S.Time.Span