Chapter 4. Elemental Types
Rosetta defines several type categories that include elemental, composite, function, constructed, and facet types. The first of these categories, the elemental types, defines types as collections of atomic values. Element literals provide a mechanism for specifying element values in a specification. All elemental types are subtypes of the
element type and include numbers, boolean values and characters, infinite values, and the the
number type is the supertype of all definable number values. Subtypes of
bit as well as specific subtypes to aid in constraining number values further for specification purposes. Number literals provide a mechanism for specifying ...