blob: 91e0adc87efe99fe7c2852f4d675189ced2d337e [file] [log] [blame]
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;