j.a[(j-i)])>
T:Type, i:
, j:{i...}, a:[T]Array{i..j
}, m:.
Thm* a[++m]
[T]Array{i+m..j+m}} == {a:[T]Array | a.l = i & a.u = j }T:Type{i}, i:, j:{i...}. [T]Array{i..j} Type{[i']}| i
j }n:. {n...} Type| Some definitions of interest. | |
| array_shift | j.a[(j-i)])> |
| T:Type, i:, j:{i...}, a:[T]Array{i..j}, m:.
Thm* a[++m] [T]Array{i+m..j+m} | |
| p_array | } == {a:[T]Array | a.l = i & a.u = j } |
| T:Type{i}, i:, j:{i...}. [T]Array{i..j} Type{[i']} | |
| int_upper | | ij } |
| n:. {n...} Type |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |