Module Incremental_kernel.Incremental_intf.S_abstract_times.Time.Span