Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Unions

Unions

Unions become C unions with a declaration that is similar to the construct definition for records.