The method ranged_less_than constrains $a<b$ under the assumption that $a, b < 2^{n} - 1$, where $n$ is a template parameter num_bits. However, in format_input_lanes $a$ is uint32_ct and $n = 14$. There's a chance it's constrained implicitly, however, this and other occurrences of this method must be reviewed and failure tests must be added.
The method$a<b$ under the assumption that $a, b < 2^{n} - 1$ , where $n$ is a template parameter $a$ is $n = 14$ . There's a chance it's constrained implicitly, however, this and other occurrences of this method must be reviewed and failure tests must be added.
ranged_less_thanconstrainsnum_bits. However, informat_input_lanesuint32_ctand