---

3.42 Aspect Potentially_Invalid ¶

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