sig
  type t
  val compare : Ord.S.t -> Ord.S.t -> int
  val show : Ord.S.t -> string
end