1. T : Type
2. i : 
3. j : {i...}
4. k : {j...}
5. a : [T]Array{i..j}
6. b : [T]Array{j..k}
  a @ b  [T]Array{i..k}

1

5. a : [T]Array  6. a.l = i 7. a.u = j 8. b : [T]Array  9. b.l = j 10. b.u = k   a @ b  [T]Array{i..k}

5 steps

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