More.Type
Type introspection.
All additions available in OCaml 5.1
type (_, _) eq =
| Equal : ('a, 'a) eq
The type for type quality testing.
module Id : sig ... end
Type idenfiers.