| Copyright | Eugen Kuksa 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | eugenk@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
CommonLogic.ParseCLAsLibDefn
Description
Analyses CommonLogic files.
Synopsis
- parseCL_CLIF :: FilePath -> HetcatsOpts -> ResultT IO [LIB_DEFN]
Documentation
parseCL_CLIF :: FilePath -> HetcatsOpts -> ResultT IO [LIB_DEFN] Source #
call for CommonLogic CLIF-parser with recursive inclusion of importations