Contents
Indexes:
Function Tree-Remove-If
Part of:
package metabang.utilities
(
tree-remove-if
< test > < tree > )
Removes all atoms from TREE that satisfy TEST.