| ||||||||
| ||||||||
| ||||||||
| 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 |
