kdrag.property.Comm

kdrag.property.Comm(f, T=None) → BoolRef

>>> Comm(smt.Function("f", smt.IntSort(), smt.IntSort(), smt.IntSort()))
ForAll([x, y], f(x, y) == f(y, x))