Hets - the Heterogeneous Tool Set

Copyright(c) T. Mossakowski, Uni Bremen 2004-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhausmann@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CoCASL.Print_AS

Description

printing AS_CoCASL and CoCASLSign data types

Documentation

printC_BASIC_ITEM :: C_BASIC_ITEM -> Doc

printAnnotedCoDatas :: [Annoted CODATATYPE_DECL] -> Doc

printC_SIG_ITEM :: C_SIG_ITEM -> Doc

printCODATATYPE_DECL :: CODATATYPE_DECL -> Doc

printCOALTERNATIVE :: COALTERNATIVE -> Doc

printCOCOMPONENTS :: COCOMPONENTS -> Doc

printC_FORMULA :: C_FORMULA -> Doc

printMODALITY :: MODALITY -> Doc

printCoCASLSign :: CoCASLSign -> Doc