(* Last modified on Mon Oct 28 14:34:31 PST 1991 by muller *) MODULE Reel; PROCEDURE Equal (t, u: T): BOOLEAN = BEGIN RETURN t = u; END Equal; PROCEDURE Copy (t: T): T = BEGIN RETURN t; END Copy; PROCEDURE Compare (t, u: T): [-1..1] = BEGIN IF t < u THEN RETURN -1; ELSIF t = u THEN RETURN 0; ELSE RETURN 1; END; END Compare; PROCEDURE Hash (t: T; lessThan: CARDINAL): CARDINAL = (* A trivial hash function. Probably needs to be made better. *) BEGIN RETURN ROUND (t) MOD lessThan; END Hash; BEGIN END Reel.