A.47 library(rbtrees): Red black trees
All Application Manual Name SummaryHelp

Availability::- use_module(library(rbtrees)).(can be autoloaded)
Source[semidet]rb_apply(+Tree, +Key, :G, -NewTree)
If the value associated with key Key is Val0 in Tree, and if call(G,Val0,ValF) holds, then NewTree differs from Tree only in that Key is associated with value ValF in tree NewTree. Fails if it cannot find Key in Tree, or if call(G,Val0,ValF) is not satisfiable.
ClioPatria (version V3.1.1-51-ga0b30a5)