kdrag.theories.logic.temporal.If

kdrag.theories.logic.temporal.If(c: DatatypeRef, x: DatatypeRef, y: DatatypeRef) → DatatypeRef

>>> _ = If(TLift(True), TLift(1), TLift(2))

Parameters:

• c (DatatypeRef)

• x (DatatypeRef)

• y (DatatypeRef)

Return type:

DatatypeRef