@shrExact
- @shrExact

@shrExact

@shrExact(value: T, shift_amt: Log2T) T

Performs the right shift operation (>>). Caller guarantees that the shift will not shift any 1 bits out.

The type of shift_amt is an unsigned integer with log2(@typeInfo(T).Int.bits) bits. This is because shift_amt >= @typeInfo(T).Int.bits is undefined behavior.