Esempio n. 1
0
def test_and_with_nun_nun():
    x = Nun()
    y = Nun()

    assert x.and_(y) == Nun()
Esempio n. 2
0
def test_and_with_nun_some():
    x = Nun()
    y = Some(2)

    assert x.and_(y) == Nun()