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