Hets - the Heterogeneous Tool Set

CopyrightEugen Kuksa 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

CommonLogic.ParseCLAsLibDefn

Description

Analyses CommonLogic files.

Synopsis

Documentation

parseCL_CLIF :: FilePath -> HetcatsOpts -> ResultT IO [LIB_DEFN] Source #

call for CommonLogic CLIF-parser with recursive inclusion of importations