package body tree is

   function Height (T : Tree_Access) return Integer is
   begin
      if T = null then
         return 0;
      else
         return 1 + Integer'Max (Height (T.Left), Height (T.Right));
      end if;
   end Height;

end tree;