kdrag.theories.logic.temporal.TLift

kdrag.theories.logic.temporal.TLift(n: ExprRef | int | str) → DatatypeRef

Lift a value into a constant signal

>>> TLift(1)
T_Int(K(Int, 1))
>>> TLift(True)
T_Bool(K(Int, True))