module Make : functor (D : Tdag_sig.Domain) -> Tdag_sig.S with type task = D.Task.t and type 'a thread = 'a D.Thread.t and type allocator = D.Allocator.t and type resource = D.Allocator.resource and type config = D.Task.config and type task_result = D.Task.result