Руководство по Ada (Ada 2022)
12.5.2 Типы формальных скаляров
Формальный скалярный тип определяется одним из определений_типа в этом подпункте. Категория, определяемая для формального скалярного типа, — это категория всех дискретных, знаковых целочисленных, модульных, чисел с плавающей точкой, обычных чисел с фиксированной точкой или десятичных типов.
Синтаксис
formal_discrete_type_definition ::= (<>)
formal_signed_integer_type_definition ::= range <>
formal_modular_type_definition ::= mod <>
formal_floating_point_definition ::= digits <>
formal_ordinary_fixed_point_definition ::= delta <>
formal_decimal_fixed_point_definition ::= delta <> digits <>
Правила законности
Фактический тип формального скалярного типа не должен быть нестандартным числовым типом.
