Next: , Previous: , Up: Partition-Wide Restrictions   [Contents][Index]


5.1.16 No_Coextensions

[RM H.4] This restriction ensures at compile time that there are no coextensions. See 3.10.2.