Sequence.slice

type

integer, from I, to I)

create a slice from this Sequence that consists of the elements starting at index
from (including) up to index to (excluding).

Precondition

pre
  debug : from ≥ 0
  debug : to = 0 || (if is_array_backed || debug_level > 1 then is_valid_index to-1 else true)
  debug : from <= to

Postcondition

post
  debug: result.finite.is_yes_or_unknown
  debug: result.count = (to-from).as_i32

Type Parameters

0.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)

last changed: 2026-07-23