1 with Interfaces
; use Interfaces
;
5 A
: constant Unsigned_8
:= 0;
6 B
: constant Unsigned_8
:= 1;
7 C
: constant Unsigned_8
:= 2;
9 subtype Small_Unsigned_8
is Unsigned_8
range A
.. C
;
16 subtype Small_Rec
is Rec
17 with Dynamic_Predicate
=>
18 Small_Rec
.K
in Small_Unsigned_8
and
19 ((Small_Rec
.N
in Positive) = (Small_Rec
.K
in B | C
));
21 function Func
(R
: Rec
) return Integer;