g_sort.def 183 B

1234
  1. GENERIC DEFINITION MODULE Sort (Element : TYPE;
  2. Compare : PROCEDURE(a, b : Element) : INTEGER);
  3. PROCEDURE Smaller(x, y : Element) : Element;
  4. END Sort.