Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI 2014
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(DevGraph)
Safe HaskellNone

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 #