1 package Dflt_Init_Cond_Pkg
is
2 type Explicit
is limited private with Default_Initial_Condition
=> True;
3 type Implicit
is limited private with Default_Initial_Condition
;
5 procedure Read
(Obj
: Explicit
);
6 procedure Read
(Obj
: Implicit
);
9 type Implicit
is access all Integer;
10 type Explicit
is access all Integer;
11 end Dflt_Init_Cond_Pkg
;