
delete(+Tree0, ++Key, -Tree)

   Delete a key/value pair from a tree.

Arguments
   Tree0               A 2-3-4 tree
   Key                 The key to delete
   Tree                The tree after deletion

Type
   library(m_tree234)

Description
	
	If the key Key appears in the tree Tree0, then remove it and its
	corresponding value, resulting in the tree Tree.  If the key Key
	does not appear, Tree is simply bound to Tree0.
	
	
	This predicate should only be called with trees created by other
	predicates from the tree234 module.
	
	

Fail Conditions
   Never fails.

Resatisfiable
   no

See Also
   remove / 4
