kdrag.Comm

kdrag.Comm(f) → BoolRef

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

Return type:

BoolRef