hets -- a heterogenous Specification (CASL) tool setContentsIndex
Main
Portability non-portable (imports Logic.Logic)
Stability provisional
Maintainer hets@tzi.de
Description
The Main module of the hetcats system. It provides the main function to call.
Synopsis
main :: IO ()
processFile :: HetcatsOpts -> FilePath -> IO ()
checkFile :: HetcatsOpts -> FilePath -> LIB_NAME -> LibEnv -> IO ()
Produced by Haddock version 0.6