Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder Bremen 2015
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian Maeder
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

SoftFOL.StatAna

Description

 

Documentation

basicAnalysis :: ([TPTP], Sign, GlobalAnnos) -> Result ([TPTP], ExtSign Sign SFSymbol, [Named Sentence]) Source #