Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

COL.Parse_AS

Description

parsing of COL extensions

Documentation

colSigItems :: AParser st COL_SIG_ITEM

observerItem :: [String] -> AParser st (Id, Maybe Int)