MACHINE         Scalar_TYPE

SETS            SCALAR

PROPERTIES

  SCALAR = 0..2147483646 &
  card(SCALAR) = 2147483647

DEFINITIONS

 MaxScalar == 2147483646  /* 2 to the 31 - 2 */

END

Analysed Constructs

On-line Help

---

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

B-Toolkit Beta 4.55

---