Data.Pair
module D1 : S
module D2 : S
type t = D1.t * D2.t
val sexp_of_t : t -> Sexplib0.Sexp.t
include Digital_components__.Import.Equal.S with type t := t
val equal : t Base__Equal.equal
val undefined : t