Module Incremental_kernel__Incremental_intf.S.Time.Span

type t