You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-- BBlack and NBlack should only be used during the deletion-- algorithm. Any other occurrence is a bug and should fail an assert.type NColor=Red|Black|BBlack-- Double Black, counts as 2 blacks for the invariant|NBlack-- Negative Black, counts as -1 blacks for the invariant
Comment after BBlack and before NBlack causes parse error.
The text was updated successfully, but these errors were encountered:
Comment after BBlack and before NBlack causes parse error.
The text was updated successfully, but these errors were encountered: