kdrag.property.Refl

kdrag.property.Refl(rel) → BoolRef

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

Return type:

BoolRef