@solve.implementation(for_type=ast.Any)<EOL>def solve_any(expr, vars):
lhs_values, _ = __solve_for_repeated(expr.lhs, vars)<EOL>try:<EOL><INDENT>rhs = expr.rhs<EOL><DEDENT>except IndexError:<EOL><INDENT>return Result(len(repeated.getvalues(lhs_values)) > <NUM_LIT:0>, ())<EOL><DEDENT>result = Result(False, ())<EOL>for lhs_value in repeated.getvalues(lhs_values):<EOL><INDENT>result = solve(rhs, __nest_scope(expr.lhs, vars, lhs_value))<EOL>if result.value:<EOL><INDENT>return result._replace(value=True)<EOL><DEDENT><DEDENT>return result<EOL>
Same as Each, except returning True on first true result at LHS.