Previous: Datatype Definitions, Up: User-defined datatypes



7.3.3 Views

Views are a way of sub-typing datatypes.

Views are simply specific interpretations or refinements of a datatype.