5.14.6 Range类型的索引和约束