Type
Everything in the ASCEND instance hierarchy belongs to one of several types. Types also have a hierarchy, because types can be defined as refinements of more general types.
The following diagram shows the high-level types available in ASCEND, including variables, relations, MODELs, arrays and sets.
