Explain RB tree rotations a bit more.

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Other

740 stars 134 forks source link

Explain RB tree rotations a bit more. #130

Closed justhsu closed 10 months ago

justhsu commented 1 year ago

Say a bit more about the RB tree rotations and why they are correct. @clarksmr do you think this is clearer?

clarksmr commented 10 months ago

@justhsu I'm optimistically assuming you're okay with me merging this now, after my further edits. If you want to take a look and make further suggestions that's fine too!