Next: Aspect SPARK_Mode, Previous: Aspect Simple_Storage_Pool, Up: Implementation Defined Aspects [Contents][Index]
This boolean aspect is equivalent to pragma Simple_Storage_Pool_Type.