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