opal_interval_tree_delete_leaf 511 opal/class/opal_interval_tree.c opal_interval_tree_delete_leaf (tree, next); opal_interval_tree_delete_leaf 557 opal/class/opal_interval_tree.c opal_interval_tree_delete_leaf (tree, node);