VASG Issue Number:      0186
Comment Author:         Clive Charlwood for Sivaram Nayudu
Comment Number:         01
Comment Date:           1991/03/22

LRM section 3.1.2 paragraph 2 specifies that:
        An integer definition defines both a type and a subtype of that type.
        The type is an anonymous type, the range of which is selected by the
        implementation; this range must be such that it wholly contains the
        range given in the integer type deifinition. The subtype is a named
        subtype of this anonymous base type, where the name of the subtype is
        that given by the corresponding type declaration and the range of the
        subtype is the given range.

>From the above section, it is clear that there is a subtype named "a" and
an anonymous type that is the base type of this subtype.

Conclusion:
    LRM is clearly states that the type is an anonymous type and the name
    given in the type declaration is actually the name of the subtype of
    the above declared anonymous type.