(* Last modified on Mon Oct 28 14:33:56 PST 1991 by muller *) INTERFACE Reel; (* This interface is intended to be used as an actual argument of generic interfaces and modules. It provides both the Elt, Hash and Order shapes based on the type REAL. *) TYPE T = REAL; PROCEDURE Equal (t, u: T): BOOLEAN; PROCEDURE Copy (t: T): T; PROCEDURE Compare (t, u: T): [-1..1]; PROCEDURE Hash (t: T; lessThan: CARDINAL): CARDINAL; END Reel.