From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=3.0 tests=BAYES_50,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a0c:b786:: with SMTP id l6mr1540820qve.11.1599825098020;
        Fri, 11 Sep 2020 04:51:38 -0700 (PDT)
X-Received: by 2002:ac8:5b16:: with SMTP id m22mr1455501qtw.262.1599825097825;
 Fri, 11 Sep 2020 04:51:37 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 11 Sep 2020 04:51:37 -0700 (PDT)
In-Reply-To: <db9dac7c-afe7-41ee-b395-fd1651768444n@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:340d:e0e2:1670:2495:8a2b;
 posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:340d:e0e2:1670:2495:8a2b
References: <db9dac7c-afe7-41ee-b395-fd1651768444n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <00be33f0-8a28-483d-815e-c2b472d5033dn@googlegroups.com>
Subject: Re: Visibility issue
From: Maxim Reznik <reznikmm@gmail.com>
Injection-Date: Fri, 11 Sep 2020 11:51:38 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:60111
List-Id: <comp.lang.ada>

You can try this way:

package Library.Users is 
   type User_type is tagged with private; 
...
end;
private package Library.Users.Implementation is 
...--  access User_Type internals
end;

In Matreshka[1] we use another approach. We have a separate hierarchy of package for internals (in Matreshka.XXX packages) and a public API in League.XXX packages. However, nothing stops the user from use internal packages there.

[1]: https://github.com/reznikmm/matreshka