Function gf::smt::simplifier::slice_of_concat

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

⚪ Transform slice of concatenation that references just one part into slice of the part.