adaParameterized Types


Introduction

All composite types other than arrays can have discriminants, which are components with special properties. Discriminants can be of a discrete type or an access type. In the latter case the access type can be a named access type or it can be anonymous. A discriminant of an anonymous access type is called an access discriminant by analogy with an access parameter.