From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ca3376f0e2c72c58,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-12-21 23:08:48 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!hub.org!hub.org!newsfeed.direct.ca!look.ca!newshub2.rdc1.sfba.home.com!news.home.com!news1.frmt1.sfba.home.com.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: better way?
X-Newsreader: Tom's custom newsreader
Message-ID: <16D06.22140$A06.845242@news1.frmt1.sfba.home.com>
Date: Fri, 22 Dec 2000 07:08:45 GMT
NNTP-Posting-Host: 24.20.190.201
X-Complaints-To: abuse@home.net
X-Trace: news1.frmt1.sfba.home.com 977468925 24.20.190.201 (Thu,
 21 Dec 2000 23:08:45 PST)
NNTP-Posting-Date: Thu, 21 Dec 2000 23:08:45 PST
Organization: Excite@Home - The Leader in Broadband http://home.com/faster
Xref: supernews.google.com comp.lang.ada:3348
Date: 2000-12-22T07:08:45+00:00
List-Id: <comp.lang.ada>

I'd like to do something like:
  package Outer is

    type Inner_A_Thing_Type;
    type Inner_B_Thing_Type;

    package Inner_A is
      type Thing_Type is ...
      procedre P(X : access Inner_B_Thing_Type);
    end Inner_A;
    subtype Inner_A_Thing_Type is Inner_A.Thing_Type;

    package Inner_B is
      type Thing_Type is ...
      procedre Q(X : access Inner_A_Thing_Type);
    end Inner_B;
    subtype Inner_B_Thing_Type is Inner_B.Thing_Type;
    ...
  end Outer;

but the "subtype" instead of "type" prevents it.  Suggestions?