Re: Object.Operation and child package

[pascal.malaise@gmail.com]

Thank you all for the explanation.
For the record, the most appropriate solution seems to be:

package Pack.Sub is
  type Sub_Typ is new Typ with private;
  procedure Proc2 (Var : in Sub_Typ);
private
  type Sub_Typ is new Typ with null record;
end Pack.Sub;

with Pack.Sub;
procedure Proc is
  O : Pack.Sub.Sub_Typ;
begin
  O.Proc1;
  O.Proc2;
end Proc;