Module `Operand.Shift_by_element_width`

Shift amount for vector shift instructions (SHL, SSHR, USHR). The valid range depends on element width:

B (8-bit): 0-7
H (16-bit): 0-15
S (32-bit): 0-31
D (64-bit): 0-63 The GADT ties the shift amount to the element width.

type _ t =

| For_B : int -> [ `B ] t
| For_H : int -> [ `H ] t
| For_S : int -> [ `S ] t
| For_D : int -> [ `D ] t

val to_int : 'w t -> int