kdrag.RightIdentity

kdrag.RightIdentity(f, e: ExprRef) → BoolRef

>>> RightIdentity(smt.Function("f", smt.IntSort(), smt.IntSort(), smt.IntSort()), smt.IntVal(0))
ForAll(x, f(x, 0) == x)