 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
| Main |
|
| main :: IO () |
| processFile :: HetcatsOpts -> FilePath -> IO () |
| checkFile :: HetcatsOpts -> FilePath -> LIB_NAME -> LibEnv -> IO () |
| ||||||||
| ||||||||
| Description | ||||||||
| The Main module of the hetcats system. It provides the main function to call. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Produced by Haddock version 0.6 |