Otp_lib.Worker_supervisorThis module provides a functor for instantiating async supervisors which is * capable of monitoring and dispatching work to a single worker. The module * allows synchronous checking of the worker's state (is it processing work * or not), and prevents parallel dispatching of work to that worker.
module type Base_intf = sig ... endThe interface shared by both the worker and the supervisor which wraps it.
module type Worker_intf = sig ... endThe interface of the worker. Extends the base interface with a perform * function.
module type S = sig ... endThe interface of the supervisor constructed by the Make functor.
module Make
(Worker : Worker_intf) :
S
with type create_args := Worker.create_args
and type input := Worker.input
and type output := Worker.outputMake (Worker) creates a supervisor which wraps dispatches to Worker.