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.