[−][src]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.
pub fn slice_of_concat(expr: Expr) -> Result<Expr, Expr>
⚪ Transform slice of concatenation that references just one part into slice of the part.