Function MakeExists

parser/macro.go:476–478

MakeExists expands the input call arguments into a comprehension that returns true if any of the elements in the range match the predicate expressions: .exists( , )

(eh ExprHelper, target ast.Expr, args []ast.Expr)

// elements in the range match the predicate expressions:
// <iterRange>.exists(<iterVar>, <predicate>)
func MakeExists(eh ExprHelper, target ast.Expr, args []ast.Expr) (ast.Expr, *common.Error) {
	return makeQuantifier(quantifierExists, eh, target, args)
}

// MakeExistsOne expands the input call arguments into a comprehension that returns true if exactly
// one of the elements in the range match the predicate expressions: