2 function G
(X
: Integer) return Lim
is
4 return R
: Lim
:= (Comp
=> X
, others => <>);
7 procedure Change
(X
: in out Lim
; Incr
: Integer) is
9 X
.Comp
:= X
.Comp
+ Incr
;
10 X
.Self_Default
.Comp
:= X
.Comp
+ Incr
;
11 X
.Self_Anon_Default
.Comp
:= X
.Comp
+ Incr
;
14 function Get
(X
: Lim
) return Integer is