Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.OpItem

Description

Parser for OP-ITEMs (operation declarations and definitions)

Documentation

opItem :: TermParser f => [String] -> AParser st (OP_ITEM f) Source #

opHead :: [String] -> AParser st OP_HEAD Source #

predItem :: TermParser f => [String] -> AParser st (PRED_ITEM f) Source #