[ library(m_tree234) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# insert(+Tree0, ++Key, ?Value, -Tree)

Insert a key/value pair into a tree, failing if the key already exists.

Tree0
  A 2-3-4 tree
Key
  A key to insert
Value
  The value corresponding to Key
Tree
  The tree after insertion

## Description

This predicate inserts the key Key with corresponding value Value into the tree Tree0, resulting in the tree Tree. If the key Key is already in the tree, then the predicate fails.

This predicate should only be called with trees created by other predicates from the tree234 module.

### Fail Conditions

Fails if Key already appears in Tree0.

### Resatisfiable

no

## See Also

update / 4, set / 4