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