コード例 #1
0
ファイル: test_adt.py プロジェクト: wujiaqi6630/tvm_1004 
def test_nat_value():
    assert count(make_nat_value(p, 10)) == 10
    assert count(intrp.evaluate(s(s(z())))) == 2
コード例 #2
0
def test_nat_value():
    assert count(make_nat_value(p, 10)) == 10
    assert count(eval(s(s(z())))) == 2