def test_chars(self): x, cs, chars = Var('x'), Var('cs'), Var('chars') eq_( eval( let([(chars, function( ((x, cs), and_p(char(x), contain(cs, x)))))], parse_text(chars(x, 'a'), 'a'))), True)
def test_chars(self): x, cs,chars = Var('x'), Var('cs'), Var('chars') eq_(eval(let([(chars, function(((x, cs), and_p(char(x), contain(cs, x)))))], parse_text(chars(x, 'a'), 'a'))), True)
def test_char_in(self): eq_(eval(begin(contain('abc', x), x)), 'a')