Pragma Async_Readers - GNAT Reference Manual

Next: Pragma Async_Writers, Previous: Pragma Assume_No_Invalid_Values, Up: Implementation Defined Pragmas

2.16 Pragma Async_Readers

For the description of this pragma, see SPARK 2014 Reference Manual, section 7.1.2.