public function value();
private function rotateRight(BinaryTree $t) { if ($t->left()->isEmpty()) { return $t; } return new self($t->left()->key(), $t->left()->value(), $t->left()->left(), new self($t->key(), $t->value(), $t->left()->right(), $t->right())); }