S (Parallel_managed.Make.1S)

type 'worker functions

A type to encapsulate all the functions that can be run on this worker. Using a record type here is often the most convenient and readable.

module Worker_state : sig .. end

State associated with each Worker.t.

module Connection_state : sig .. end

State associated with each connection to a Worker.t

module Functions (C : Parallel.Creator with type worker_state = Worker_state.t and type worker_state_init_arg = Worker_state.init_arg and type connection_state = Connection_state.t and type connection_state_init_arg = Connection_state.init_arg) : Parallel.Functions with type worker := C.worker and type 'a functions := 'a functions and type worker_state := Worker_state.t and type worker_state_init_arg := Worker_state.init_arg and type connection_state := Connection_state.t and type connection_state_init_arg := Connection_state.init_arg

The functions that can be run on this worker type

Parameter S : Parallel.Worker_spec