5.1. Standard Sizes

Byte : Type#check (Byte : Type) -- BitVec 8 Word : Type#check (Word : Type) -- BitVec 16 DWord : Type#check (DWord : Type) -- BitVec 32