kdrag.theories.logic.temporal.Ints

kdrag.theories.logic.temporal.Ints(names: str) → list[DatatypeRef]

Create a list of Integer signals

>>> x, y = Ints("x y")
>>> _ = x + y

Parameters:

names (str)

Return type:

list[DatatypeRef]