Array.inner()

<< Z3 Home

Array.inner(InnerSize)

  • 1..100.inner(2) displaying skip first 2 numbers and give inner elements.
  • 1..100.inner(2)=3 4 5 6 7 8 9 10 11 ..98.
  • (-100)..10.inner(42) = -58 -57 -56 -55 -54..................-32

See Also