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