hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Formula
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
parse terms and formulae
Synopsis
term :: AParser TERM
formula :: AParser FORMULA
restrictedTerm :: [String] -> AParser TERM
restrictedFormula :: [String] -> AParser FORMULA
varDecl :: AParser VAR_DECL
opSort :: GenParser Char st (Bool, Id, Pos)
opFunSort :: [Id] -> [Token] -> GenParser Char st OP_TYPE
opType :: AParser OP_TYPE
predType :: AParser PRED_TYPE
predUnitType :: GenParser Char st PRED_TYPE
updFormulaPos :: Pos -> Pos -> FORMULA -> FORMULA
Produced by Haddock version 0.6