Hets - the Heterogeneous Tool Set

CopyrightDFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

ExtModal.Print_AS

Description

printing AS_ExtModal ExtModalSign data types

Documentation

modPrec :: MODALITY -> Int

printMPrec :: Bool -> MODALITY -> MODALITY -> Doc

prettyRigor :: Bool -> Doc

isEMJunct :: FORMULA EM_FORMULA -> Bool

prJunct :: FORMULA EM_FORMULA -> Doc