Exemple #1
0
def test_app_abstract(term):
    hypothesis.assume(i0 not in quoted_vars(term))
    assert app(bohm.increment_rank(bohm.abstract(term)), i0) is term
Exemple #2
0
def test_abstract_eta(term):
    assert bohm.abstract(app(bohm.increment_rank(term), i0)) is term
Exemple #3
0
def test_decrement_increment_rank(term):
    assert bohm.decrement_rank(bohm.increment_rank(term)) is term
Exemple #4
0
def test_increment_rank(term, expected):
    assert bohm.increment_rank(term) is expected
Exemple #5
0
def test_increment_rank(code, min_rank, expected):
    assert increment_rank(code, min_rank) is expected
Exemple #6
0
def test_decrement_increment_rank(code):
    assert decrement_rank(increment_rank(code, 0)) is code