This module extends Base.Type_equal
.
include module type of sig ... end with module Id := Base.Type_equal.Id
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> ('b ‑> Base.Sexp.t) ‑> ('a, 'b) t ‑> Base.Sexp.t
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