rb_rewrite/8

rb_rewrite(+T, +Key, ?OldVal, +NewVal)* is semidet.

Tree T has value for Key associated with NewVal. Fails if it cannot find Key in T.