sortedtable/src/SortedTablePrivate.ig


Copyright (C) 1994, Digital Equipment Corp.

GENERIC INTERFACE SortedTablePrivate(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.