Справочник Ada 2005
4.5.4 Унарные операторы сложения
Статическая семантика
Унарные операторы сложения + (тождество) и – (отрицание) определены для каждого числового типа T с их обычным значением. Они имеют следующие спецификации:
функция "+"(Right : T) возвращает T
функция "-"(Right : T) возвращает T
функция "-"(Right : T) возвращает T
ПРИМЕЧАНИЯ
15 Для модульных целых типов унарный оператор –, при ненулевом операнде, возвращает результат вычитания значения операнда из модуля; для нулевого операнда результат равен нулю.
