The compiler type_types package implements various types used within the compiler for representing types in the program being compiled.
The type_types package implements the Type_Types API.
The type_types package source code is src/lib/compiler/front/typer/types/type-types.pkg.
The above information is manually maintained and may contain errors.
Type_Types