rbtrees:rb_insert/4

Did you know ...

Search Documentation:

Predicate rb_insert/4

rb_insert(+Tree, +Key, ?Value, -NewTree) is det: Add an element with key Key and Value to the tree Tree creating a new red-black tree NewTree. If Key is a key in Tree, the associated value is replaced by Value. See also rb_insert_new/4. Does not validate that Key is sufficiently instantiated to ensure the tree remains valid if a key is further instantiated.