-- -*- M2-comint -*- hash: 13385601913798409625

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

o1 = false

i2 : all({2,4,6,8}, even)

o2 = true

i3 : all{true,true,true}

o3 = true

i4 : all{true,true,false}

o4 = false

i5 : all{}

o5 = true

i6 : all(7, x -> x < 10)

o6 = true

i7 : 
