Function test_nullary_equality

tests/test_pattern_match.py:184–189

Color.red == LeanInductiveValue("Color", "red", 0, ()).

(example_lib)

def test_nullary_equality(example_lib):
    """Color.red == LeanInductiveValue("Color", "red", 0, ())."""
    Color = example_lib.Color
    val = LeanInductiveValue("Color", "red", 0, ())
    assert Color.red == val
    assert val == Color.red