T:Type, i:, j:{i...}, k:{j...}, a:[T]Array{i..j}, b:[T]Array{j..k}.
  a @ b  [T]Array{i..k}

1

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}

6 steps

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