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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:7996:: with SMTP id
 z144-v6mr4580717itc.10.1541056426910;
        Thu, 01 Nov 2018 00:13:46 -0700 (PDT)
X-Received: by 2002:aca:a984:: with SMTP id s126-v6mr24661oie.6.1541056426615;
 Thu, 01 Nov 2018 00:13:46 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!z5-v6no56365ite.0!news-out.google.com!n199-v6ni60itn.0!nntp.google.com!z5-v6no56364ite.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 1 Nov 2018 00:13:46 -0700 (PDT)
In-Reply-To: <a1868ec7-2a4d-4802-a28e-1ba878e54bc0@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=136.163.203.5;
 posting-account=g0yTkgoAAADdZGEYyZahxGlO3EkjH0Wv
NNTP-Posting-Host: 136.163.203.5
References: <a1868ec7-2a4d-4802-a28e-1ba878e54bc0@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d3e1e9f6-0759-487a-999e-6a9e1bbefcec@googlegroups.com>
Subject: Re: Fortran 95: How do you write code to do this?
From: Petter Fryklund <petter.fryklund@atero.se>
Injection-Date: Thu, 01 Nov 2018 07:13:46 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:54737
Date: 2018-11-01T00:13:46-07:00
List-Id: <comp.lang.ada>

Assuming rightmost means LSB:

generic 
  type T is mod <>;
function Boolean_Of(Nat : T) return Boolean;

function Boolean_Of(Nat : T) return Boolean is
begin
  return (Nat and 1) = 1;
end Boolean_Of;

type Ten_Bits is 2 ** 10;

function Boolean_Of_Ten_Bits is new Boolean_Of(Ten_Bits);

Input : Ten_Bits := 75;
Bool  : Boolean  := Boolean_Of_Ten_Bits(Input); -- will be True

regards,
Petter