| 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 :: LogicGraph -> HetcatsOpts -> Maybe String -> FilePath -> FilePath -> String -> ResultT IO [LIB_DEFN] Source #