Hets - the Heterogeneous Tool Set

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

CoCASL.Parse_AS

Contents

Description

Parser for CoCASL

Documentation

modality :: [String] -> AParser st MODALITY Source #

cocomp :: [String] -> Maybe OP_NAME -> AParser st COALTERNATIVE Source #

Orphan instances