Copyright	(c) Till Mossakowski, Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

COL.AS_COL

Description

Abstract syntax for COL extension of CASL Only the added syntax is specified

Documentation

Eq COL_SIG_ITEM
Data COL_SIG_ITEM
Show COL_SIG_ITEM
ShATermConvertible COL_SIG_ITEM
GetRange COL_SIG_ITEM
Pretty COL_SIG_ITEM
AParsable COL_SIG_ITEM
Typeable * COL_SIG_ITEM
Syntax COL C_BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis COL C_BASIC_SPEC COLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign COLMor Symbol RawSymbol
Logic COL () C_BASIC_SPEC COLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign COLMor Symbol RawSymbol ()

Constructor_items [Annoted Id] Range
Observer_items [Annoted (Id, Maybe Int)] Range