(* Copyright (C) 1990, Digital Equipment Corporation.         *)
(* All rights reserved.                                       *)
(* See the file COPYRIGHT for a full description.             *)

(* Last modified on Tue Apr 24 23:04:07 1990 by muller        *)
(*      modified on Thu Feb  8 16:49:36 1990 by mcjones       *)

INTERFACE STableF;

IMPORT STable;

PROCEDURE Validate (table: STable.T) RAISES {};
  (* Check that no red node has a red parent, that every path from the root
     to an external node traverses the same number of black nodes, and that
     each node's key is greater than every key in its left subtree and less
     than every key in its right subtree. *)

END STableF.