Next: No_Implementation_Units, Previous: No_Implementation_Pragmas, Up: Program Unit Level Restrictions
[GNAT] This restriction checks at compile time that no GNAT-defined restriction
identifiers (other than No_Implementation_Restrictions itself)
are present. With this restriction, the only other restriction identifiers
that can be used are those defined in the Ada Reference Manual.