3.59 Aspect Subprogram_Variant

For the syntax and semantics of this aspect, see the SPARK 2014 Reference Manual, section 6.1.8.