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;