min/3">rb_min/3Key is the minimum key in Tree, and is associated with Val. rb_new/1Create a new Red-Black tree Tree. rb_next/4Next is the next element after Key in Tree, and is associated with Val. rb_partial_map/4For all nodes Key in Keys, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF, otherwise it is the value associated with the key in Tree. rb_previous/4Previous is the previous element after Key in Tree, and is associated with Val. rb_size/2Size is the number of elements in Tree. rb_update/4Tree NewTree is tree Tree, but with value for Key associated with NewVal. rb_update/5Same as =|rb_update(Tree, Key, NewVal, NewTree)|= but also unifies OldVal with the value associated with Key in Tree. rb_visit/2