Member predicate UnixArchitecture :: allowHeterogeneousBitfields
Holds if this architecture allow bitfields with declared types of different sizes to be packed together.
predicate
allowHeterogeneousBitfields
(
)