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')
def test_char_in(self):
eq_(eval(begin(contain('abc', x), x)), 'a')