Type_equal (base.Base.Type

type (!'a0, !'b) t =

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0.Sexp.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

module Lift (X : sig ... end) : sig ... end

module Lift2 (X : sig ... end) : sig ... end

module Lift3 (X : sig ... end) : sig ... end

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

module Composition_preserves_injectivity
  (M1 : Injective)
  (M2 : Injective) : 
  sig ... end

module Id : sig ... end