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.
Simplifies a cond expression (aka Boolean if-then-else).
Simplifies control-flow expressions such as if-then-else and match expressions.
It visits only the conditions and discriminants.