remove height_r

src/flow/binary.rs

@@ -133,7 +133,6 @@ pub trait BinaryTreesMutable<'a>: BinaryTreesEmpty<'a> + BinaryTreesTreeOf<'a> {
 
 pub trait BinaryTreesHeight<'a>: BinaryTrees<'a> {
     fn height(&self, tree: &Self::Tree) -> u64;
-    fn height_r(&self, reference: &Self::Reference) -> u64;
     fn leaf_height_error<T: 'a>(&self, height: u64) -> BTWrap<'a, Self, T>;
 }
 

src/flow/binary/bounds/bound.rs

@@ -155,10 +155,6 @@ impl<'a, BT: BinaryTreesBindable<'a> + BinaryTreesHeight<'a>> BinaryTreesHeight<
         self.0.height(&tree.bound)
     }
 
-    fn height_r(&self, reference: &Self::Reference) -> u64 {
-        self.0.height_r(&reference.bound)
-    }
-
     fn leaf_height_error<T: 'a>(&self, height: u64) -> BTWrap<'a, Self, T> {
         self.0.leaf_height_error(height)
     }

src/mrds/trees/avl.rs

@@ -181,10 +181,6 @@ impl<'a, A: 'a + PartialOrd + Clone> BinaryTreesHeight<'a> for AvlTs<A> {
         tree.height
     }
 
-    fn height_r(&self, reference: &Self::Reference) -> u64 {
-        reference.height
-    }
-
     fn leaf_height_error<T: 'a>(&self, height: u64) -> BTWrap<'a, Self, T> {
         panic!("leaf height error: {height}.")
     }

src/rstd/collections/avl/context.rs

@@ -108,10 +108,6 @@ impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx> + Clone, C: 'a + Comparator<A
         tree.height()
     }
 
-    fn height_r(&self, reference: &Self::Reference) -> u64 {
-        reference.height()
-    }
-
     fn leaf_height_error<T: 'a>(&self, height: u64) -> BTWrap<'a, Self, T> {
         <FallibleMonad<'a, Ctx, _> as Fail<_>>::fail(ResolutionError::Parse(BoundError::Avl(
             AvlError::LeafHeight(height),