Module Incremental_kernel.Incremental_intf.Incremental.Make_with_config.Time.Span

type t