5.2. Operand Size Type
The OpSize type captures x86 operand sizes:
#check OpSize.Op8 -- 8-bit operations
#check OpSize.Op16 -- 16-bit operations
#check OpSize.Op32 -- 32-bit operations (default in protected mode)
The VWord type family maps OpSize to BitVec:
#check (VWord OpSize.Op32)