Function gf::smt::simplifier::concat_of_slices

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

⚪ Transform concatenation of two adjacent slices into one slice.