Simplifies a cond expression (aka Boolean if-then-else).
Instances For
Simplifies control-flow expressions such as if-then-else and match expressions.
It visits only the conditions and discriminants.
Instances For
Like simpControl, but does not block the simplifier: when the condition or the discriminants
are not decided, the branches are visited too.