semi-visibility

[tmoran@acm.org]

I want to do the following, but it's illegal.  What's a good way to
accomplish the purpose, preferably without increasing the depth of
the package heirarchy, or enlarging package A.

private package A.B is
  type Visible_To_Relatives is ...
end A.B;

with A.B;
package A.C is
  type T is private;
  procedure P(x : in T);
private
  type T is record
    v : A.B.Visible_To_Relatives;
  end record;
end A.C;

with A.B;
package A.D is ...
  -- private part here similarly needs visibility of A.B