kdrag.modal.PEq

kdrag.modal.PEq(x: ExprRef, y) → ExprRef

Pointwise equality rather than on the nose equality.

>>> x = smt.Int("x")
>>> PointEq(smt.Lambda([x], x), 1)
Lambda(x0!..., x0!... == 1)

Parameters:

x (ExprRef)

Return type:

ExprRef