Aspect Simple_Storage_Pool_Type (GNAT Reference Manual)

Next: Aspect SPARK_Mode, Previous: Aspect Simple_Storage_Pool, Up: Implementation Defined Aspects [Contents][Index]

3.47 Aspect Simple_Storage_Pool_Type ¶

This boolean aspect is equivalent to pragma Simple_Storage_Pool_Type.