An `Int64.T`

is a 64-bit integer whether compiled on 32-bit or
64-bit machines. This interface can be used to instantiate
generic interfaces and modules such as `Table`

and `List`

.

INTERFACEInt64 ; IMPORT Long; TYPE T = BITS 64 FOR [ -16_7fffffffffffffffL-1L .. 16_7fffffffffffffffL ]; CONST Brand = "Int64"; PROCEDURE Equal(a, b: T): BOOLEAN;

Return`a = b`

.

PROCEDURE Hash(a: T): Long.T;

Return`a`

.

PROCEDURE Compare(a, b: T): [-1..1];

Return`-1`

if`a < b`

,`0`

if`a = b`

, or`+1`

if`a > b`

.

END Int64.

Int64's implementation is in:

procedure Int64.Equal is in:

procedure Int64.Hash is in:

procedure Int64.Compare is in: