ZZ .. ZZ -- sequences of consecutive integers

• Operator: ..

• Usage:

  s .. t

• Inputs:
  • s, an integer
  • t, an integer
• Outputs:
  • a sequence, the sequence of consecutive integers from s to t, inclusive

i1 : 1 .. 10

o1 = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

o1 : Sequence