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=2.0 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC,UNRESOLVED_TEMPLATE autolearn=no
	autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!husc6!mit-eddie!ll-xn!ames!ucbcad!ucbvax!QZCOM.MAILNET!P9728
From: P9728@QZCOM.MAILNET ("Johan Backlund FOA221")
Newsgroups: comp.lang.ada
Subject: renaming types
Message-ID: <259760@QZCOM>
Date: Sat, 27-Jun-87 20:08:57 EDT
Article-I.D.: QZCOM.259760
Posted: Sat Jun 27 20:08:57 1987
Date-Received: Sun, 28-Jun-87 04:52:46 EDT
References: <259745@QZCOM>
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: "Johan Backlund FOA221" <P9728%QZCOM.MAILNET@sdcsvax.ucsd.edu>, "Ada mailing list" <ADA%QZCOM@sdcsvax.ucsd.edu>
Distribution: world
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

Have you tried this form (I guess you haven't...) ?

with Export_P;
package New_P is

   type New_T is private;
   ...
private

   type New_T is new Export_P.Old_T;

end New_P;

New_T becomes a so called "derived type" and LRM 3.4 tells you
all about it.

/MtW