Type System

Type Hierarchy

These are the core types of Avail:

* The type "terminates", not shown, is an implicit subtype of all other types. The type "terminatesType", which is shown, is really a subtype of all subtypes of type (except terminates).

Type Instantiation

These are the core types (and some instances), showing instantiation:

* The type "meta" is an instance of itself.