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