Previous: Datatype Definitions, Up: User-defined datatypes
Views are a way of sub-typing datatypes.
Views are simply specific interpretations or refinements of a datatype.