Module Async_kernel.Clock_intf.Clock.Time.Span