Module Incremental_kernel__Incremental_intf.Incremental.S_abstract_times.Time.Span

type t