M2compiler-V3/compiler/tests/g_sort.mod

GENERIC IMPLEMENTATION MODULE Sort;
PROCEDURE Smaller(x, y : Element) : Element;
BEGIN
  IF Compare(x, y) <= 0 THEN RETURN x ELSE RETURN y END
END Smaller;
END Sort.