rb_rewrite/5

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

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