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.
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.