Library rt.implementation.parallel.job

(* We reuse the job from the basic model. *)
Require Export rt.implementation.basic.job.