[ library(m_tree234) | Reference Manual | Alphabetic Index ]

init(-Tree)

Initialise a new (empty) 2-3-4 tree.

Tree: The new tree

Fail Conditions

Never fails.

Resatisfiable

no

See Also

is_empty / 1