rb_delete/3

Availability::- use_module(library(rbtrees)).(can be autoloaded)

rb_delete(+Tree, +Key, -NewTree)

Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. Fails if Key is not in Tree (using (==)/2).

See also: rb_in/3 for backtracking over keys.