Copyright (C) 1994, Digital Equipment Corp. GENERIC INTERFACESortedTablePrivate (SrtdTbl);
Where SrtdTbl.T is an instance of a SortedTable. PROCEDURE Validate(table: SrtdTbl.T);
Cause a checked runtime error if table does not satisfy its invariants. END SortedTablePrivate.