include Core_kernel__.Type_equal_intf.Type_equal
include module type of sig ... end with module Id := Base.Type_equal.Id
val refl : ('a, 'a) t
val conv : ('a, 'b) t ‑> 'a ‑> 'b
module Lift = Base__Type_equal.Lift
module Lift2 = Base__Type_equal.Lift2
module Lift3 = Base__Type_equal.Lift3
module type Injective : sig ... end
module type Injective2 : sig ... end
module Id = Base__Type_equal.Id
module Id : Core_kernel__.Type_equal_intf.Id