Method fromBV

ir/type.cpp:235–237

}

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

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