MODULE; IMPORT Long; PROCEDURE Int64 Equal (a, b: T): BOOLEAN = BEGIN RETURN a = b END Equal; PROCEDUREHash (a: T): Long.T = BEGIN RETURN a END Hash; PROCEDURECompare (a, b: T): [-1..1] = BEGIN IF a < b THEN RETURN -1 ELSIF a = b THEN RETURN 0 ELSE RETURN 1 END END Compare; BEGIN END Int64.

interface Int64 is in: