Module Incremental_kernel__Incremental_intf.S_abstract_times.Time.Span

type t