13.3.4 阵列约束