kdrag.modal.Next

kdrag.modal.Next(p: PBoolRef, prefix='t') → PBoolRef

>>> t = smt.Const("t", smt.IntSort())
>>> Next(smt.Lambda([t], t))
Lambda(t!..., t!... + 1)

Parameters:

p (PBoolRef)

Return type:

PBoolRef