Module Import.Core_scheduler

module Core_scheduler: Async_core.Scheduler