Module Shims.TypeSource

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

    Type equality witness. This will eventually be replaced by the equavalent definition available in Stdlib.Type since OCaml 5.1, but for now, we must keep backwards compatibility with older compilers.

    *)