IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
[T]Array : type of all arrays of type T.[T]Array{i..j-} : Those arrays with start index i and end index j-1. e.g. a[i], a[i+1], ..., a[j-1]NIL
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html