hack_parallel

Parallel and shared memory library
Library hack_parallel.interface
type 'a nextlist = 'a list Bucket.next
val next : Worker.t list option -> 'a list -> 'a list Bucket.next
type 'a bucket = 'a Bucket.bucket =
| Job of 'a
| Wait
| Done
val call : Worker.t list option -> job:( 'c -> 'a -> 'b ) -> merge:( 'b -> 'c -> 'c ) -> neutral:'c -> next:'a Bucket.next -> 'c