The Concept of Data: Simple Data Types  17  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.)  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:  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:  2.C.  The  Type Integer  *  multiply  di v  divide and truncate (i.e., value is not rounded)  mod  modulus:  let Remainder  =  A  - (A  div  B)  *  B;  +  if Remainder  <  0  then  A  mod  B  =  Remainder+B  otherwise  A mod  B  =  Remainder  add  subtract  abs  (A  op  B)  <=  abs  (A)  <=  Max1nt,  Max1nt,and  abs(B)  <=  Max1nt 