hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Parse_AS_Basic
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
parse SIG-ITEMS, BASIC-ITEMS, BASIC-SPEC
Synopsis
sortItems :: AParser SIG_ITEMS
typeItems :: AParser SIG_ITEMS
opItems :: AParser SIG_ITEMS
predItems :: AParser SIG_ITEMS
sigItems :: AParser SIG_ITEMS
basicItems :: AParser BASIC_ITEMS
varItems :: AParser ([VAR_DECL], [Token])
dotFormulae :: AParser BASIC_ITEMS
aFormula :: AParser (Annoted FORMULA)
basicSpec :: AParser BASIC_SPEC
Produced by Haddock version 0.6