let xs = [1; 3; 0; 7; 2; 4; 6; 5] in 
let v = 4 in (Replace value v by seq:xs(||xs||-1) in seq:xs){(||xs||-1)}
*
[1; 3; 0; 7; 2; 5; 6]

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