kdrag.Pf

kdrag.Pf(p: BoolRef) → QuantifierRef

>>> Pf(smt.Int("x") > 0)
Lambda(pf!..., x > 0)

Parameters:

p (BoolRef)

Return type:

QuantifierRef