T:Type, i:, j:{i...}, a:[T]Array{i..j}, m:{i..j}, n:{m..j}.
  a[m..n]  [T]Array{m..n}

1

1. T : Type 2. i :  3. j : {i...} 4. a : [T]Array{i..j} 5. m : {i..j} 6. n : {m..j}   a[m..n]  [T]Array{m..n}

5 steps

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