T:Type, r,s:T, x:(r = s). x = *

1

1. T : Type 2. r : T 3. s : T 4. x : r = s   x = *

1 step

About: IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html