Module Mavryk_base.Worker_intf

Parameters to build a worker group

module type NAME = sig ... end

The name of the group of workers corresponding to an instantiation of Make, as well as the name of each worker in that group.

module type VIEW = sig ... end
module type REQUEST = sig ... end

The type of messages that are fed to the worker's event loop.

module type TYPES = sig ... end

The (imperative) state of the event loop.