KiCS2
Exported names: Imported modules:

Module AddTypes

Summary of exported operations:

main :: IO ()   
addtypes is supposed to get its argument, the file to add type signatures to from the shell.
addTypeSignatures :: String -> IO String   

Exported operations:

main :: IO ()   

addtypes is supposed to get its argument, the file to add type signatures to from the shell.

addTypeSignatures :: String -> IO String