Previous
Up
Next
Module
JoinPool
module
JoinPool:
sig
..
end
Dynamic dispatch of work among registered agents.
module
Simple
:
sig
..
end
Simple implementation: use-once pools that can be used to dispatch one task.
module
Shared
:
sig
..
end
Advanced implementation with functorial interface