此函数创建并返回一个约束,强制变量 "var等于数组 "array中的元素 "index。
var
array
index
此函数创建并返回一个约束,强制值 "val等于数组 "array中的元素 "index。
val