Method concat_zeros

smt/expr.cpp:1894–1896

}

expr expr::concat_zeros(unsigned bits) const {
  return bits ? concat(mkUInt(0, bits)) : *this;
}

expr expr::extract(unsigned high, unsigned low, unsigned depth) const {
  C();