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.
4 Likes