_[_..]

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _++_

Definitions:

tuple meta, natural number
Source: /avail/Avail/Foundation/Early Tuples
Categories: Tuples, Types, Queries
Construct and answer a slice (i.e., tuple type) that begins at subscript sliceStart and continues to the end of the tuple type.
Position Name Type Description
Parameters
1 aTupleType tuple meta A tuple type.
2 sliceStart natural number The one-based start index (inclusive) of the desired slice.
Returns tuple of any meta The requested tuple.
sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the requested subsequence of aSequence.
Position Name Type Description
Parameters
1 aSequence sequence A sequence.
2 startIndex natural number The index of the start of the subsequence.
Returns sequence The subsequence beginning at startIndex and ending at |{@param aSequence }|.
tuple, natural number
Source: /avail/Avail/Foundation/Early Tuples
Categories: Tuples, Types, Queries
Construct and answer a slice (i.e., subtuple) that begins at subscript sliceStart and continues to the end of the tuple.
Position Name Type Description
Parameters
1 aTuple tuple A tuple.
2 sliceStart natural number The one-based start index (inclusive) of the desired slice.
Returns tuple The requested tuple.

Semantic restrictions:

aTupleType, sliceStart
Source: /avail/Avail/Foundation/Early Tuples
Strengthen the tuple type produced by _[_..] to the strongest possible given the argument types.
Type Description
Parameter Types
aTupleType tuple meta
sliceStart natural number's type