Module B0_std.TypeSource

Type introspection.

All additions available in OCaml 5.1

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

The type for type quality testing.

Sourcemodule Id : sig ... end

Type idenfiers.