devkit

Development kit - general purpose library
IN THIS PACKAGE
Module type Devkit_core . Parallel . WorkerT
type task
type result