Type

Like all type expressions, this expression produces a value of the type type.

Also known as 'metatype.'

A type-typed value represents a type, which may have an associated runtime representation.

Every value of the type type is of the type type.

Compile Time

Values of the type type are compile-time values with no runtime representation; they cannot exist at runtime.

Syntax

type_type = type ;