def un_all_different(xs): return app(xs, lib.true, lambda h, t: lib.bool_and( lib.list_all(lambda x: lib.bool_not(lib.list_num_eq(h, x))), all_different(t)))
def test_bool_not(x, expected): assert simplify(lib.bool_not(x)) == expected