Closed maurer closed 7 years ago
Previously, while the true and false branches of ITE expressions were exposed via the lhs and rhs functions, the actual condition was exposed nowhere. This PR exposes it through the exp function.
lhs
rhs
exp
Oh, my fault :) Thanks!
Previously, while the true and false branches of ITE expressions were exposed via the
lhs
andrhs
functions, the actual condition was exposed nowhere. This PR exposes it through theexp
function.