Module Coosy.Derive

Summary of exported operations:

derive :: IO ()  Non-deterministic 
deriveFile :: String -> IO String  Non-deterministic 

Exported operations:

derive :: IO ()  Non-deterministic 

deriveFile :: String -> IO String  Non-deterministic