Function gf::smt::simplifier::absorb_slice

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

⚪ Transform two nested slices into one.