Module Core_kernel.Type_equal

include Core_kernel__.Type_equal_intf.Type_equal
include module type of sig ... end with module Id := Base.Type_equal.Id
type ('a, 'b) t = ('a, 'b) Base__Type_equal.t =
| T : ('a0, 'a0) t
type ('a, 'b) equal = ('a, 'b) t
val refl : ('a, 'a) t
val sym : ('a, 'b) t ‑> ('b, 'a) t
val trans : ('a, 'b) t ‑> ('b, 'c) t ‑> ('a, 'c) t
val conv : ('a, 'b) t ‑> 'a ‑> 'b
val detuple2 : ('a1 * 'a2, 'b1 * 'b2) t ‑> ('a1, 'b1) t * ('a2, 'b2) t
val tuple2 : ('a1, 'b1) t ‑> ('a2, 'b2) t ‑> ('a1 * 'a2, 'b1 * 'b2) t
module type Injective : sig ... end
module type Injective2 : sig ... end