Module Incremental_kernel.Incremental_intf.S.Time.Span