Module Core_kernel.Type_equal
This module extends Base.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
val sexp_of_t : ('a -> Base.Sexp.t) -> ('b -> Base.Sexp.t) -> ('a, 'b) t -> Base.Sexp.t
type ('a, 'b) equal= ('a, 'b) t
val refl : ('a, 'a) tval sym : ('a, 'b) t -> ('b, 'a) tval trans : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) tval conv : ('a, 'b) t -> 'a -> 'b
module Lift = Base__Type_equal.Liftmodule Lift2 = Base__Type_equal.Lift2module Lift3 = Base__Type_equal.Lift3val detuple2 : ('a1 * 'a2, 'b1 * 'b2) t -> ('a1, 'b1) t * ('a2, 'b2) tval tuple2 : ('a1, 'b1) t -> ('a2, 'b2) t -> ('a1 * 'a2, 'b1 * 'b2) t
module type Injective = sig ... endmodule type Injective2 = sig ... endmodule Id = Base__Type_equal.Idmodule Id : Core_kernel__.Type_equal_intf.Id