| Specware 4.2 Language Manual | ||
|---|---|---|
| Prev | ||
This appendix provides a brief description of the "inbuilt" types and operators.
For the sake of brevity, infixl is abbreviated below to L and infixr to R.
Boolean
| Name | Fixity | Type | Description |
|---|---|---|---|
| = | R 20 | [a] a * a -> Boolean | tests if the parameters are equal |
| ~= | R 20 | [a] a * a -> Boolean | tests if the parameters are unequal |
| ~ | Boolean -> Boolean | logical negation | |
| && | R 15 | Boolean * Boolean -> Boolean | non-strict logical and |
| || | R 14 | Boolean * Boolean -> Boolean | non-strict logical or |
| => | R 13 | Boolean * Boolean -> Boolean | non-strict logical implication |
| <=> | R 12 | Boolean * Boolean -> Boolean | logical equivalence |
| << | L 25 | {x:A,...,y:B,...} * {x:A,...,z:C,...} -> {x:A,...,y:B,...,z:C,...} | see Section Applications under record update |