Module Syntax.Int64

val v : int64 -> int64 value

Predicates and comparisons

val (=) : int64 value -> int64 value -> bool value

x = y is integer equality.

Arithmetic operators

val (~-) : int64 value -> int64 value

~-x is the negation of x.

val (+) : int64 value -> int64 value -> int64 value

x + y is int64eger addition.

val (-) : int64 value -> int64 value -> int64 value

x + y is int64eger subtraction.

val (*) : int64 value -> int64 value -> int64 value

x * y is int64eger addition.

val (/) : int64 value -> int64 value -> int64 value

x / y is integer division.