3 package body Static_Pred1
is
5 type Enum_Type
is (A
, B
, C
);
7 subtype Enum_Subrange
is Enum_Type
with Static_Predicate
=>
8 Enum_Subrange
in A | C
;
10 function "not" (Kind
: Enum_Subrange
) return Enum_Subrange
is
15 procedure Dummy
(Value
: T
) is
16 IK
: Enum_Subrange
:= not A
;