Section Header

    + name := AVL_CONSTANTS;

Section Insert

    - parent_object:OBJECT :=

Section SELF

    - balanced:INTEGER :=

    - imbalanced_left:INTEGER :=

    - imbalanced_right:INTEGER :=