Module Incremental_kernel__Incremental.S_abstract_times.Time.Span

type t