Method sign

smt/expr.cpp:1994–1997

}

expr expr::sign() const {
  auto bit = bits() - 1;
  return extract(bit, bit);
}

expr expr::toBVBool() const {
  auto sort = mkBVSort(1);