Module Incremental_kernel.Incremental.Make_with_config.Time.Span