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 bottom value.

The number type is the supertype of all definable number values. Subtypes of number include complex, real, integer, natural, and bit as well as specific subtypes to aid in constraining number values further for specification purposes. Number literals provide a mechanism for specifying ...

Get System-Level Design with Rosetta now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.