Module Syntax.Int

Integers.

val v : int -> int value

v i is the literal integer i.

Predicates and comparisons

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

x = y is integer equality.

val (<>) : int value -> int value -> bool value

x <> y is integer inequality.

val (<) : int value -> int value -> bool value

x < y is true iff x is stricly lower than y.

val (<=) : int value -> int value -> bool value

x <= y is true iff x is lower or equal than y.

val (>) : int value -> int value -> bool value

x < y is true iff x is stricly lower than y.

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

x >= y is true iff x is greater or equal than y.

Arithmetic operators

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

~-x is the negation of x.

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

x + y is integer addition.

val (-) : int value -> int value -> int value

x + y is integer subtraction.

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

x * y is integer addition.

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

x / y is integer division.