Next: No_Unchecked_Access, Previous: No_Tasking, Up: Partition-Wide Restrictions
[RM D.7] There are no selective accepts with terminate alternatives.