_[_.._]

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _++_

Definitions:

sequence, natural number, whole 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.
3 endIndex whole number The index of the end of the subsequence. May be 1 less than startIndex (to indicate an empty sequence).
Returns sequence The requested sequence.
tuple meta, natural number, whole number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Types, Tuples, Queries
Compute and answer a tuple containing the requested element types. Indices that are out of bounds report as their element type.
Position Name Type Description
Parameters
1 aTupleType tuple meta A tuple type.
2 sliceStart natural number The one-based index (inclusive) of the start of the slice.
3 sliceEnd whole number The one-based index (inclusive) of the end of the slice.
Returns <(any)'s type…|> The requested slice of element types.
Raises
subscript-out-of-bounds exception
negative-size exception
tuple, natural number, whole number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Tuples, Transformers, Queries
Construct and answer a slice (i.e. subtuple) of the specified 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.
3 sliceEnd whole number The one-based end index (inclusive) of the desired slice.
Returns tuple The requested tuple.
Raises
subscript-out-of-bounds exception

Semantic restrictions:

tuple meta, natural number's type, whole number's type
Source: /avail/Avail/Foundation/Early Tuples
Type Description
Parameter Types
tuple meta
natural number's type
whole number's type
tuple meta, natural number's type, whole number's type
Source: /avail/Avail/Foundation/Early Tuples
Type Description
Parameter Types
tuple meta
natural number's type
whole number's type