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