11 lines
423 B
Ada
11 lines
423 B
Ada
generic
|
|
package Predicate6 is
|
|
type Price_Kind is (Infinitely_Small, Normal, Infinitely_Large);
|
|
subtype Infinite_Kind is Price_Kind with Static_Predicate =>
|
|
Infinite_Kind in Infinitely_Small | Infinitely_Large;
|
|
function "not" (Kind : Infinite_Kind) return Infinite_Kind is
|
|
(case Kind is when Infinitely_Small => Infinitely_Large,
|
|
when Infinitely_Large => Infinitely_Small);
|
|
procedure Foo;
|
|
end;
|