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,88093378be1184d4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-07 08:53:23 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newspeer.radix.net!uunet!ash.uu.net!xyzzy!nntp
From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: A question and a request
X-Nntp-Posting-Host: e246420.msc.az.boeing.com
Content-Type: text/plain; charset=us-ascii
Message-ID: <3BE96210.EC39FA5E@boeing.com>
Sender: nntp@news.boeing.com (Boeing NNTP News Access)
Content-Transfer-Encoding: 7bit
Organization: The Boeing Company
X-Accept-Language: en
References: <mailman.1005116423.21054.comp.lang.ada@ada.eu.org>
Mime-Version: 1.0
Date: Wed, 7 Nov 2001 16:32:16 GMT
X-Mailer: Mozilla 4.73 [en]C-CCK-MCD Boeing Kit  (WinNT; U)
Xref: archiver1.google.com comp.lang.ada:15999
Date: 2001-11-07T16:32:16+00:00
List-Id: <comp.lang.ada>

Although you have received some responses, I think the simple answer to
your problem is that your example has only one type in it: Integer.
Subtypes do not create new types and do not create new operations. The
"+" in your example is defined as

function "+" (Left : Integer; Right : Integer) return Integer;

-- 
Jeffrey Carter