blob: e1955cde69d1f0af568a2dad3766db40961f6c57 [file] [log] [blame]
package Dflt_Init_Cond_Pkg is
type Explicit is limited private with Default_Initial_Condition => True;
type Implicit is limited private with Default_Initial_Condition;
procedure Read (Obj : Explicit);
procedure Read (Obj : Implicit);
private
type Implicit is access all Integer;
type Explicit is access all Integer;
end Dflt_Init_Cond_Pkg;