However, bit vector is a polymorphic type and may come in several widths, e.g., bits8, bits32, or bits64.
Ein Bitvektor ist ein polymorpher Typ und kann in verschiedenen Wortbreiten vorkommen, z. B. bits8, bits32 oder bits64.