| ||||||||
| ||||||||
| ||||||||
Description | ||||||||
String constants for CASL keywords to be used for parsing and printing
| ||||||||
Synopsis | ||||||||
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 |