Copyright (C) 1994, Digital Equipment Corp. GENERIC INTERFACESort (Elem); TYPE CompareProc = PROCEDURE(x,y: Elem.T): INTEGER; (* Must return < 0, 0, >0 according as x<y, x=y, x>y *) PROCEDURE Array( VAR (*inout*) a: ARRAY OF Elem.T; p: CompareProc) RAISES {}; END Sort.