package caqti

  1. Overview
  2. Docs
package caqti
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.

    *)