kdrag.theories.logic.temporal.Bools

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

Create a list of Boolean signals

>>> x, y = Bools("x y")
>>> _ = x & y

Parameters:

names (str)

Return type:

list[DatatypeRef]