kdrag.modal.PAnd

kdrag.modal.PAnd(*args, prefix='t') → PBoolRef

Pointwise And

>>> t = smt.Const("t", smt.IntSort())
>>> PAnd(smt.Lambda([t], t > 0), smt.Lambda([t], t < 10))
Lambda(t!..., And(t!... > 0, t!... < 10))