def test_findall_string_concat2(self): eq_(eval(begin(findall(concat(x, y, "abc"), L(x, y), z), z)), [L("a", "bc"), L("ab", "c")])
def test_sub_string(self): eq_(eval(begin(findall(subsequence('ab', 0, y, 2, "ab"), y, z), z)), [2])
def test_sub_string2(self): eq_(eval(begin(findall(subsequence('ab', x, y, z, k), k, z), z)), ['a', 'ab', 'b'])
def testonce(self): eq_(eval(findall(once(prin('1, ')|prin('2, ')))), True)
def test_findall(self): x, y, z = Var('x'), Var('y'), Var('z') eq_(eval(let([(f, function(((), 2), ((), 3)))], findall(is_(x, f()), x, y), y)), [2, 3])
def test_findall(self): x, y, z = Var('x'), Var('y'), Var('z') eq_( eval( let([(f, function(((), 2), ((), 3)))], findall(is_(x, f()), x, y), y)), [2, 3])
def testonce(self): eq_(eval(findall(once(prin('1, ') | prin('2, ')))), True)