Module Async_kernel__Time_source.Continue