| Copyright | (c) C. Maeder, DFKI 2014 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(DevGraph) |
| Safe Haskell | None |
Driver.ReadLibDefn
Description
reading Lib-Defns for various logics, OWL and CL return several Lib-Defns
Documentation
readLibDefn :: MonadIO m => LogicGraph -> HetcatsOpts -> Maybe String -> FilePath -> FilePath -> String -> m [LIB_DEFN]