Section
Header
    +
name
:=
AVL_CONSTANTS
;
Section
Insert
    -
parent_object
:
OBJECT
:=
Section
SELF
    -
balanced
:
INTEGER
:=
    -
imbalanced_left
:
INTEGER
:=
    -
imbalanced_right
:
INTEGER
:=