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

Availability::- use_module(library(rbtrees)).(can be autoloaded)
Source[semidet]rb_next(+Tree, +Key, -Next, -Value)
Next is the next element after Key in Tree, and is associated with Val. Fails if Key isn't in Tree or if Key is the maximum key.