File : bc-containers-trees-avl-validate.ads


-- Copyright (C) 1999-2000 Simon Wright.
-- All Rights Reserved.
--
--      This program is free software; you can redistribute it
--      and/or modify it under the terms of the Ada Community
--      License which comes with this Library.
--
--      This program is distributed in the hope that it will be
--      useful, but WITHOUT ANY WARRANTY; without even the implied
--      warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
--      PURPOSE. See the Ada Community License for more details.
--      You should have received a copy of the Ada Community
--      License with this library, in the file named "Ada Community
--      License" or "ACL". If not, contact the author of this library
--      for a copy.
--

-- $Id: bc-containers-trees-avl-validate.ads,v 1.1.2.2 2000/02/19 14:16:24 simon Exp $

generic
procedure BC.Containers.Trees.AVL.Validate (T : AVL_Tree);
pragma Elaborate_Body (BC.Containers.Trees.AVL.Validate);