Identifiable.Pair
module A : Thing
module B : Thing
type t = A.t * B.t
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val output : out_channel -> t -> unit
val print : Format.formatter -> t -> unit