Function gf::smt::simplifier::fold_constants

pub fn fold_constants(expr: Expr) -> Result<Expr, Expr>

⚪ Perform shallow constant folding.