Module More.Type

Type introspection.

All additions available in OCaml 5.1

type (_, _) eq =
  1. | Equal : ('a, 'a) eq

The type for type quality testing.

module Id : sig ... end

Type idenfiers.