MACHINE           Int_TYPE

SETS              INT

PROPERTIES

  INT = 
    { xx | xx : INTEGER & xx > (-2147483647) & xx < (+2147483646) }

DEFINITIONS

 MaxINT == +2147483646;
 MinINT == -2147483647

END

Analysed Constructs

On-line Help

---

Document Last Updated: Wed Aug 25 17:35:35 1999

B-Toolkit Beta 4.55

---