kdrag.theories.logic.temporal.Int

kdrag.theories.logic.temporal.Int(name: str) → DatatypeRef

Create an integer signal

>>> x = Int("x")
>>> _ = x + TLift(1)

Parameters:

name (str)

Return type:

DatatypeRef