5.13 范围类型