all(array, i32 <= i32)
