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 /sfa/Nuprl/Shared/Xindentation_hack_doc.html