Module Incremental_kernel__.Incremental_intf.Incremental.Make_with_config.Time.Span

type t