Function gf::smt::simplifier::absorb_ext

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

⚪ Transform two nested signed or unsigned extensions into one.