25 const std::size_t u_times = numeric_cast_v<std::size_t>(times);
29 op.size() * u_times == bv.size(),
30 "result bitvector width shall be equal to the operand bitvector width times"
31 "the number of replications");
33 std::size_t bit_idx = 0;
35 for(std::size_t i = 0; i < u_times; i++)
37 for(
const auto &bit : op)