-- -*- M2-comint -*- {* hash: 2116620356 *}

i1 : any({1,2,3,4}, even)

o1 = true

i2 : any({1,3,5,7}, even)

o2 = false

i3 : any(20,n -> n == 15)

o3 = true

i4 : fp = x -> any(#x, i -> x#i == i);

i5 : fp {2,3,4,0,1}

o5 = false

i6 : fp {2,4,0,3,1}

o6 = true

i7 :