Module Incremental_kernel__Incremental_intf.Incremental.Make_with_config.Time.Span

type t