From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:622a:506:b0:3ef:415f:189 with SMTP id l6-20020a05622a050600b003ef415f0189mr9389301qtx.6.1683914536342;
        Fri, 12 May 2023 11:02:16 -0700 (PDT)
X-Received: by 2002:a5b:548:0:b0:ba6:f23c:d0cd with SMTP id
 r8-20020a5b0548000000b00ba6f23cd0cdmr2219172ybp.2.1683914536202; Fri, 12 May
 2023 11:02:16 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 12 May 2023 11:02:15 -0700 (PDT)
In-Reply-To: <u3lap0$1hvas$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=18.195.50.139; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 18.195.50.139
References: <u3lap0$1hvas$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6c6a9722-6ccf-4148-a118-100bef22e65dn@googlegroups.com>
Subject: Re: Is a Boolean type inherently atomic ?
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Fri, 12 May 2023 18:02:16 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1252
Xref: news.eternal-september.org comp.lang.ada:65215
List-Id: <comp.lang.ada>

AARM 3.5.3(1.a), 13.4(8.b, 10/5) has some information about boolean representations.