sig
  type t = unit
  val string_of : BatUnit.t -> string
  val of_string : string -> BatUnit.t
  val compare : BatUnit.t -> BatUnit.t -> int
  val print : 'a BatInnerIO.output -> unit -> unit
end