Function gf::smt::simplifier::absorb_concat

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

⚪ Transform two nested concatenations with constant consecutive parts into one.