@@ -272,7 +272,7 @@ moveRedRight t =
272 let t' = color_flip t in
272 let t' = color_flip t in
273 if isRedLeftLeft t' then color_flip (rotateRight t') else t'
273 if isRedLeftLeft t' then color_flip (rotateRight t') else t'
275−moveRedLeft : RBTree k v -> RBTree k v
275+moveRedLeftIfNeeded : RBTree k v -> RBTree k v
276moveRedLeftIfNeeded t =
276moveRedLeftIfNeeded t =
277 if not (isRedLeft t) && not (isRedLeftLeft t) then moveRedLeft t else t
277 if not (isRedLeft t) && not (isRedLeftLeft t) then moveRedLeft t else t