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

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

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

Type
   library(m_tree234)

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
