# $Id$
# A quantifier to help state assertions over finite sequences of ints
def someIntsIn(seq, pred):
"""type: sequence(int) -> (int -> bool)
Ensures: result is True just when for at least one int i in seq,
pred(i) is true."""
for i in seq:
if pred(i):
return True
return False