Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias, DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

THF.Print

Description

Pretty instances some data structures of As, Sign and Cons

Documentation

printProblemTHF :: SignTHF -> [Named THFFormula] -> Named THFFormula -> Doc

printNamedSentenceTHF :: Maybe FormulaRole -> Named THFFormula -> Doc