kdrag.modal.POr

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

Pointwise Or

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