sig
  type t = string * int
  val compare : 'a * 'b -> 'c * 'b -> int
  val show : string * int -> string
end