What is the type of type

The ocaml interpreter ocamlopt must give a type to type. No ?

The native compiler ocamlopt is not an interpreter.

The compiler does have a (digraph) representation for type expressions but that is not a really a type of types.

Ocaml type system does not have a type for types at the value level, whereas the module type system is impredicative: there is a module type of all module types.

3 Likes