Array.some()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.some(callback[, thisArg])

The some() method tests whether some element in the array passes the test implemented by the provided function.

[Array.some ] - in Mozilla Foundation Website.

[12,56,18,72,4].some(x =>x=EVEN)

true

[2,5,8,1,4].some(x => x > 10)

false

See Also

filter

reduce