Function gf::smt::simplifier::simplify

pub fn simplify(expr: Expr) -> Expr

⚪ Simplify an expression.