Library rt.implementation.parallel.task

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