Def [T]Array{i..j} == {a:[T]Array | a.l = i & a.u = j }

is mentioned

In prior sections: array 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html