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.SortItem

Description

Parser for SORT-ITEMs (sort and subsort declarations and definitions)

Documentation

subSortDecl :: [String] -> ([Id], Range) -> AParser st (SORT_ITEM f)

isoDecl :: TermParser f => [String] -> Id -> AParser st (SORT_ITEM f)