kdrag.theories.logic.temporal.Next

kdrag.theories.logic.temporal.Next(x)

>>> x = smt.Const("x", TSort(smt.BoolSort()))
>>> Next(x)
T_Bool(Lambda(t!..., val(x)[t!... + 1]))