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)

opHead :: [String] -> AParser st OP_HEAD

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