NULL_AVL_Tree

[Seshu Kumar <seshucherukuri@gmail.com>]

Hello,

here, my code is 
type AVL_Tree is private;
Null_Avl_Tree : constant Avl_Tree;

in priviate i define:
   type AVL_Tree is record
      Rep : AVL_Node_Ref;
      Size : Natural := 0;
   end record;

   Null_Avl_Tree : constant Avl_Tree := ( Rep => null, Size => 0 );


here,  m accessing NULL_AVL_Tree from other file, is it gives me the same values
using like
VCAST_BITS_1_1_AVL : VCAST_BITS_TYPE_1_1_AVL :=
   ( others =>  VCAST_COVER_IO.Null_Avl_Tree );

here, i think my Null_Avl_tree is not null.

Thanks in advance.

Seshukumar.