pub trait BinaryTreesAvl<'a>: TreesHeightError<'a> + BinaryTreesTreeOf<'a> + BinaryTreesTryJoin<'a> {
// Provided methods
fn assume_node(&self, tree: &Self::Tree) -> BTWrap<'a, Self, Self::Node> { ... }
fn assume_bind<T: Send>(
self,
tree: &Self::Tree,
f: impl 'a + Send + FnOnce(Self, Self::Tree, Self::Key, Self::Tree) -> BTWrap<'a, Self, T>
) -> BTWrap<'a, Self, T> { ... }
fn join_key_balanced_tree(
&self,
tl: Self::Tree,
key: Self::Key,
tr: Self::Tree
) -> BTWrap<'a, Self, Self::Tree> { ... }
fn join_key_balanced(
self,
tl: Self::Tree,
key: Self::Key,
tr: Self::Tree
) -> BTWrap<'a, Self, Self::Node> { ... }
}