Ast.LDP_STP_width
Witness types for LDP/STP register width. Both registers in a pair must be the same width class.
type (_, _) t =
| X : ([< `X | `LR ], [< `X | `LR ]) t
| W : ([< `W ], [< `W ]) t