Module Types.Jobs
type t={scheduler : Scheduler.t;mutable job_pool : Job_pool.t;normal : Job_queue.t;low : Job_queue.t;}
Types.Jobstype t = {scheduler : Scheduler.t; |
mutable job_pool : Job_pool.t; |
normal : Job_queue.t; |
low : Job_queue.t; |
}