Function gf::smt::simplifier::concat_to_extu

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

⚪ Transform concatenation of an all-zero bit vectors with a value into unsigned extension of the value.