Module Incremental_kernel.Incremental.S_abstract_times.Time.Span