slice Block
a[i..j] is the array of size j-i+1 composed of elements of a from index i to index j. Indexes start from 0.
Syntax

Signatures
Type
Given an input array of type T^n and two indexes i, j which are size such that 0<=i<=j<n, returns an array of type T^(j-i+1)
Causality
The output depends instantaneously on its input.
Initialization
The resulting sequence has its first value defined if its input has its first value defined.
Clock
Input and output have the same clock.