sig
  type t = unit BatInnerIO.output
  val compare : 'a BatInnerIO.output -> 'b BatInnerIO.output -> int
  val hash : 'a BatInnerIO.output -> int
  val equal : 'a BatInnerIO.output -> 'b BatInnerIO.output -> bool
end