public MkITE ( |
||
t1 | An expression with Boolean sort | |
t2 | An expression | |
t3 | An expression with the same sort as |
|
return |
ite(t1, t2, t3)
.
public MkITE ( |
||
t1 | An expression with Boolean sort | |
t2 | An expression | |
t3 | An expression with the same sort as |
|
return |