Next: No_Direct_Boolean_Operators, Previous: No_Delay, Up: Partition-Wide Restrictions
[RM 13.12.1] This restriction checks at compile time that there are no dependence on a library unit.