Module Incremental_kernel__.Incremental_intf.Incremental.S_abstract_times.Time.Span

type t