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