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: Fri Jan 14 17:29:14 2000

B-Toolkit Beta 4.60

---