hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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