This is not a real term, but a helper to store the when and then terms.
| 640 | |
| 641 | |
| 642 | class _WhenThen(Term): |
| 643 | """This is not a real term, but a helper to store the when and then terms.""" |
| 644 | |
| 645 | def __init__(self, when: Term, then: Term) -> None: |
| 646 | self.when = when |
| 647 | self.then = then |
| 648 | |
| 649 | |
| 650 | class When(Expression): |
no outgoing calls
no test coverage detected
searching dependent graphs…