Module B0_std.Type

Type introspection.

Note. Available in 5.1.

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

The type for type quality testing.

module Id : sig ... end