hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.Keywords
Portability portable
Stability provisional
Maintainer hets@tzi.de
Contents
context dependend keywords
type constructors
modal operators
symbol keywords
equality symbols
formula symbols
lower case letter keywords
Description

String constants for CASL keywords to be used for parsing and printing

Synopsis
lessS :: String
exMark :: String
quMark :: String
timesS :: String
prodS :: String
funS :: String
diamondS :: String
boxS :: String
defnS :: String
mapsTo :: String
barS :: String
cDot :: String
dotS :: String
colonS :: String
exEqual :: String
equalS :: String
lOr :: String
lAnd :: String
negS :: String
equivS :: String
implS :: String
withinS :: String
withS :: String
viewS :: String
versionS :: String
unitS :: String
typeS :: String
toS :: String
thenS :: String
specS :: String
sortS :: String
revealS :: String
resultS :: String
propS :: String
localS :: String
logicS :: String
libraryS :: String
lambdaS :: String
inS :: String
idemS :: String
hideS :: String
givenS :: String
getS :: String
generatedS :: String
fromS :: String
cofreeS :: String
freeS :: String
fitS :: String
forallS :: String
existsS :: String
endS :: String
commS :: String
closedS :: String
opS :: String
predS :: String
varS :: String
sS :: String
axiomS :: String
assocS :: String
asS :: String
archS :: String
andS :: String
whenS :: String
trueS :: String
notS :: String
ifS :: String
falseS :: String
elseS :: String
defS :: String
context dependend keywords
lessS :: String
sub sort indicator
exMark :: String
modifier for funS or colonS
quMark :: String
modifier for existsS
type constructors
timesS :: String
prodS :: String
funS :: String
modal operators
diamondS :: String
boxS :: String
mind [] also as (non-symbol) term
symbol keywords
defnS :: String
mapsTo :: String
barS :: String
cDot :: String
dotS :: String
colonS :: String
equality symbols
exEqual :: String
mind spacing i.e. in e =e= e
equalS :: String
also a definition indicator
formula symbols
lOr :: String
lAnd :: String
negS :: String
equivS :: String
implS :: String
lower case letter keywords
withinS :: String
withS :: String
viewS :: String
versionS :: String
unitS :: String
typeS :: String
toS :: String
thenS :: String
specS :: String
sortS :: String
revealS :: String
resultS :: String
propS :: String
localS :: String
logicS :: String
libraryS :: String
lambdaS :: String
inS :: String
idemS :: String
hideS :: String
givenS :: String
getS :: String
generatedS :: String
fromS :: String
cofreeS :: String
freeS :: String
fitS :: String
forallS :: String
existsS :: String
endS :: String
commS :: String
closedS :: String
opS :: String
predS :: String
varS :: String
sS :: String
axiomS :: String
assocS :: String
asS :: String
archS :: String
andS :: String
whenS :: String
trueS :: String
notS :: String
ifS :: String
falseS :: String
elseS :: String
defS :: String
Produced by Haddock version 0.6