函子 (A : Thing) (B : Thing) ->
  sig
    类型 t = A.t * B.t
    值 equal : t -> t -> bool
    值 hash : t -> int
    值 compare : t -> t -> int
    值 output : out_channel -> t -> unit
    值 print : Format.formatter -> t -> unit
  end