Worker_supervisor.MakeMake (Worker) creates a supervisor which wraps dispatches to Worker.
module Worker : Worker_intfinclude Base_intf
with type create_args := Worker.create_args
with type input := Worker.input
with type output := Worker.outputval create : Worker.create_args -> tval close : t -> unit Async_kernel.Deferred.tval is_working : t -> boolval dispatch : t -> Worker.input -> Worker.output Async_kernel.Deferred.t