kdrag.Refl

kdrag.Refl(rel) → BoolRef

>>> Refl(smt.Function("rel", smt.IntSort(), smt.IntSort(), smt.BoolSort()))
ForAll(x, rel(x, x))

Return type:

BoolRef