Template:Ada/restriction name
[[Ada Programming/Pragmas/Restrictions/{{{1}}}|{{{1}}}]]
Category:Book:Ada Programming/Code templates#Restriction%20name[[Ada Programming/Pragmas/Restrictions/{{{1}}}|{{{1}}}]]
Category:Book:Ada Programming/Code templates#Restriction%20name