PAKCS
Exported names: Imported modules:

Module CASS.Worker

Implementation of a worker client to analyze a module

Author: Heiko Hoffmann, Michael Hanus

Version: December 2018

Summary of exported operations:

main :: IO ()   
startWorker :: String -> Int -> IO ()   

Exported operations:

main :: IO ()   

startWorker :: String -> Int -> IO ()