kdrag.theories.logic.temporal.Bool

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

Create a Boolean signal

>>> x = Bool("x")
>>> _ = x & True

Parameters:

name (str)

Return type:

DatatypeRef