函子 Identifiable.Pair

module Pair: 
functor (A : Thing) -> 
functor (B : Thing) -> Thing  with type t = A.t * B.t

参数	A : 事物 B : 事物

---

type t 

include Hashtbl.HashedType

include Map.OrderedType

val output : out_channel -> t -> unit

val print : Format.formatter -> t -> unit