kdrag.LeftIdentity

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

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