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