content_image/740088.jpg
implication equivalence exclusive or as as as P <= Q P = Q P <> Q 

Predeclared Boolean functions - i.e., predeclared functions which yield a Boolean result - are: 

odd (I) eoln(F) eof(F) true if the integer I is odd, false otherwise. end of a line, explained in Chapter 9. end of file, explained in Chapter 9. 

(Appendix A summarizes all predeclared functions.) 

## 2.C. The Type Integer 

A value of type In t ege r is an element of an implementation-defined subset of whole numbers. The following arithmetic operators yield an integer value when applied to integer operands: 

<img src='content_image/740088.jpg'>

An implementation-defined, predefined constant identifier Max1nt specifies the largest integer value allowable for all integer operations. If A and B are integer expressions, then the operation: 

A op B 

is guaranteed to be correctly implemented when: 

abs (A op B) <= abs (A) <= Max1nt, Max1nt,and abs(B) <= Max1nt 

