@solve.implementation(for_type=ast.Filter)<EOL>def solve_filter(expr, vars):
lhs_values, _ = __solve_for_repeated(expr.lhs, vars)<EOL>def lazy_filter():<EOL><INDENT>for lhs_value in repeated.getvalues(lhs_values):<EOL><INDENT>if solve(expr.rhs, __nest_scope(expr.lhs, vars, lhs_value)).value:<EOL><INDENT>yield lhs_value<EOL><DEDENT><DEDENT><DEDENT>return Result(repeated.lazy(lazy_filter), ())<EOL>
Filter values on the LHS by evaluating RHS with each value.

    Returns any LHS values for which RHS evaluates to a true value.