Method fromInt

ir/type.cpp:254–256

}

expr Type::fromInt(expr e) const {
  return fromBV(std::move(e));
}

StateValue Type::fromInt(StateValue v) const {
  return { fromInt(std::move(v.value)),