sig
  type t
  val compare : Useful.ORD_PRT.t -> Useful.ORD_PRT.t -> int
  val fprintf : Useful.ORD_PRT.t Useful.fprintf
end