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